Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | P. Li, M. von Thun, Tharam S. Dillon |
Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 25-29, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Ansgar Bergmann, Uwe Janßen |
Yet another FDT ? An Introduction to CHILL-S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 297-311, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Qiang Gao, Cheng Wu |
On the Distributed Implementation of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 133-146, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Djaffar Gueraichi, Luigi Logrippo |
Derivation of Test Cases for LAP-B from a LOTOS Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 361-374, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro |
ASDE: Design of a Transformational Environment for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 501-515, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Hans Hansson, Bengt Jonsson 0001, Fredrik Orava, Björn Pehrson |
Specification for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 227-244, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | David Lorge Parnas |
Documentation of Communications Services and Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 277-280, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
TIC: A Timed Calculus for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 195-209, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya |
An Estelle Based Test Generation Tool for Modular Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 7-11, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg |
LOTOS Extended with Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 179-193, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Piyu Tripathy, Behçet Sarikaya |
Test Generation from Protocol Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 329-343, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jan Tretmans |
Test Case Derivation from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 345-359, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Kenneth J. Turner (eds.) |
Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![North-Holland, 0-444-87126-8 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Rob Booth |
An Evaluation of the LCF Theorem Prover using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 83-99, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Kong E. Cheng, Lindsay N. Jackson |
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 409-419, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein |
The Formal Definition of the Architectural Concept "Interaction Point". ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 67-81, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Eric Madelaine, Didier Vergamini |
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 61-66, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys |
Executable Communicating Rule Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 421-436, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
Specifying Concurrent Systems Using Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 245-260, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Michel Diaz, Jean Dufau, Roland Groz |
Experiences Using Estelle Within SEDOS Estelle Demonstrator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 455-470, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale |
A Formal Multi-Layer Test Methodology and its Applications to OSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 375-392, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Joaquín Seoane |
A Tool for Encoding and Decoding Big ASN.1 Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 19-23, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |
An Expressive Temporal Logic for Basic LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 261-276, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
Specification Modules in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 101-115, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Richard C. Cam, Son T. Vuong |
A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 485-499, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang |
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 31-36, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | José A. Mañas, Tomás de Miguel |
From LOTOS to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 79-84, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Saturnino Marchena Rodriguez, Gonzalo León |
Transformation from LOTOS Specifications to Galileo Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 217-230, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
A LOTOS to PARLOG Translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 31-44, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel |
Graphical Views of Process-Orientated Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 143-156, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Philip Gaudette, Steve Trus, Sarah Collins |
An Object-Oriented Model for ASN.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 121-134, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Dieter Hogrefe, Amardeo Sarma |
Non-Determinism and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 157-167, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Son T. Vuong, Wendy Y. L. Chan |
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 337-351, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Francesco Costa, Daniela Nardi, Roberto Rinaldi |
SDS - A LOTOS-Based Tool for Symbolic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 327-336, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David Freestone, Sukhvinder S. Aujla |
Specifying ROSE in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 231-245, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Rachid Sijelmassi, Philip Gaudette |
An Object-Oriented Model for Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 91-105, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 15-29, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jeroen van de Lagemaat, Giuseppe Scollo |
On the Use of LOTOS for the Formal Description of a Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 247-261, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Thomas Mayr |
Specification of Object-Oriented Systems in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 107-119, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Stuart G. Johnston |
SPIDER - Service and Protocol Interactive Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 67-71, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi |
The Application of LOTOS for the Formal Description of the ISO Session Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 263-277, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette |
Application of Formal Description Techniques to Conformance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 295-309, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Wilfried H. P. van Hulzen |
LOTTE - A LOTOS Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 61-65, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Renaud Guillemot, Luigi Logrippo |
Derivation of Useful Execution Trees from LOTOS by using an Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 311-325, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | J. J. Masterson, K. P. Ishaq, A. T. Hockley |
An Approach to providing Support Tools for Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 1-14, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou, Roland Groz |
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 185-199, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera |
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 85-89, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Michael Atlevi |
SDT - The SDL Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 55-59, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Santiago Pavón, Angel Fernández |
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 45-54, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Maurizio Caneve |
Squiggles - A Tool for the Analysis of LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 201-216, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia |
Modelling OSI in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 135-142, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
A LISP-Based LOTOS Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 73-77, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kees Bogaards |
LOTOS-Supported System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 279-294, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Sukhvinder S. Aujla, Matthew Fletcher |
The Boyer-Moore Theorem-Prover and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 169-183, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|