3. FORTE 1990:
Madrid,
Spain
Juan Quemada, José A. Mañas, Enrique Vázquez (Eds.):
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990.
North-Holland 1991, ISBN 0-444-89024-6 BibTeX
@proceedings{DBLP:conf/forte/1990,
editor = {Juan Quemada and
Jos{\'e} A. Ma{\~n}as and
Enrique V{\'a}zquez},
title = {Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1
Third International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols, FORTE '90,
Madrid, Spain, 5-8 November 1990},
booktitle = {FORTE},
publisher = {North-Holland},
year = {1991},
isbn = {0-444-89024-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Theoretical Foundations of FDTs
Verification
Transformation
Testing - 1
Invited Paper
Languages and Time
Application of FDTs - 1
Testing - 2
Application of FDTs - 2
- M. Gamble, C. R. Taylor:
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS.
319-326 BibTeX
- Josefina Navarro, Pablo San Martin:
Experience in the Development of an ISDN Layer 3 Service in LOTOS.
327-336 BibTeX
- Juan A. Saras, Julio Berocal, Juan Riera:
Use of Estelle, LOTOS and ASN.1 in One Project.
337-343 BibTeX
- M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
345-352 BibTeX
Language Enhancements
Design by Stepwise Refinement
Invited Paper
Graphical Representation of FDTs
Application of FDTs - 3
TOOLS
- Anders Ek, Jan Ellsberger:
TA-2: A Prototype Analysing Dynamic SDL Properties.
519-522 BibTeX
- Colin J. Fidge:
A LOTOS Interpreter for Simulating Real-Time Behaviour.
523-526 BibTeX
- Carron Kirkwood, Kathy Norrie:
Some Experiments Using Term Rewriting Techniques for Concurrency.
527-530 BibTeX
- Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld:
ASN.1 and Estelle Implementation Support Tools.
531-534 BibTeX
- Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi:
A LOTOS Simulator in OBJ.
535-538 BibTeX
- F. Brady, A. Boshier, D. Pitt, B. Szczygiel:
One2One - A Tool for Translating ASN.1 to ACT ONE.
539-542 BibTeX
- Rachid Sijelmassi, Brett Strausser:
NIST Integrated Tool Set for Estelle.
543-546 BibTeX
- To-Yat Cheung, Yucheng Ye:
An Executor for Graphical LOTOS.
547-550 BibTeX
- Darren New, Paul D. Amer:
Protocol Visualization of Estelle Specifications.
551-554 BibTeX
- Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa:
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System.
555-558 BibTeX
- Santiago Pavón, Martín Llamas Nistal:
The Testing Functionalities of LOLA.
559-562 BibTeX
- Luigi Logrippo:
The University of Ottawa LOTOS Toolkit.
563-566 BibTeX
- J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm:
PIL: A Tool for Pre-implementation of LOTOS.
567-570 BibTeX
- Ken R. Parker:
The PROMPT Automatic Implementation Tool - Initial Impressions.
571-576 BibTeX
- Peter van Eijk, Henk Eertink:
Design of the LOTOSPHERE Symbolic LOTOS Simulator.
577-580 BibTeX
- Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester:
An Interactive Programming Environment for LOTOS.
581-584 BibTeX
Copyright © Sat May 16 23:12:34 2009
by Michael Ley (ley@uni-trier.de)
