Conferences in DBLP

Formal Techniques for Networked and Distributed Systems / (forte)
1988 (conf/forte/1988)

1. J. J. Masterson, K. P. Ishaq, A. T. Hockley
   An Approach to providing Support Tools for Formal Specification. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:1-14 [Conf]
   
2. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
   ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:15-29 [Conf]
   
3. David Gilbert
   A LOTOS to PARLOG Translator. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:31-44 [Conf]
   
4. Juan Quemada, Santiago Pavón, Angel Fernández
   Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:45-54 [Conf]
   
5. Michael Atlevi
   SDT - The SDL Design Tool. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:55-59 [Conf]
   
6. Wilfried H. P. van Hulzen
   LOTTE - A LOTOS Environment. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:61-65 [Conf]
   
7. Stuart G. Johnston
   SPIDER - Service and Protocol Interactive Development Environment. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:67-71 [Conf]
   
8. Günter Karjoth
   A LISP-Based LOTOS Environment. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:73-77 [Conf]
   
9. José A. Mañas, Tomás de Miguel
   From LOTOS to C. [Citation Graph (0, 0)][DBLP]
   FORTE, 1988, pp:79-84 [Conf]
   
10. Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera
    EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:85-89 [Conf]
    
11. Rachid Sijelmassi, Philip Gaudette
    An Object-Oriented Model for Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:91-105 [Conf]
    
12. Thomas Mayr
    Specification of Object-Oriented Systems in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:107-119 [Conf]
    
13. Philip Gaudette, Steve Trus, Sarah Collins
    An Object-Oriented Model for ASN.1. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:121-134 [Conf]
    
14. Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia
    Modelling OSI in SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:135-142 [Conf]
    
15. David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel
    Graphical Views of Process-Orientated Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:143-156 [Conf]
    
16. Dieter Hogrefe, Amardeo Sarma
    Non-Determinism and SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:157-167 [Conf]
    
17. Sukhvinder S. Aujla, Matthew Fletcher
    The Boyer-Moore Theorem-Prover and LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:169-183 [Conf]
    
18. Marc Phalippou, Roland Groz
    Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:185-199 [Conf]
    
19. Tommaso Bolognesi, Maurizio Caneve
    Squiggles - A Tool for the Analysis of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:201-216 [Conf]
    
20. Saturnino Marchena Rodriguez, Gonzalo León
    Transformation from LOTOS Specifications to Galileo Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:217-230 [Conf]
    
21. David Freestone, Sukhvinder S. Aujla
    Specifying ROSE in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:231-245 [Conf]
    
22. Jeroen van de Lagemaat, Giuseppe Scollo
    On the Use of LOTOS for the Formal Description of a Transport Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:247-261 [Conf]
    
23. Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi
    The Application of LOTOS for the Formal Description of the ISO Session Layer. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:263-277 [Conf]
    
24. Kees Bogaards
    LOTOS-Supported System Development. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:279-294 [Conf]
    
25. Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette
    Application of Formal Description Techniques to Conformance Evaluation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:295-309 [Conf]
    
26. Renaud Guillemot, Luigi Logrippo
    Derivation of Useful Execution Trees from LOTOS by using an Interpreter. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:311-325 [Conf]
    
27. Francesco Costa, Daniela Nardi, Roberto Rinaldi
    SDS - A LOTOS-Based Tool for Symbolic Debugging. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:327-336 [Conf]
    
28. Son T. Vuong, Wendy Y. L. Chan
    Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:337-351 [Conf]