5. FORTE 1992:
Perros-Guirec,
France
Michel Diaz, Roland Groz (Eds.):
Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992.
IFIP Transactions C-10 North-Holland 1993, ISBN 0-444-89282-6 BibTeX
@proceedings{DBLP:conf/forte/1992,
editor = {Michel Diaz and
Roland Groz},
title = {Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1
Fifth International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols, FORTE '92,
Perros-Guirec, France, 13-16 October 1992},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-10},
year = {1993},
isbn = {0-444-89282-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Industrial applicatons I
Specification
Time and performance
Verification I
Industrial applications II
Invited presentation I
- Gul Agha:
Formal methods for Actor systems: A progress report.
217-228 BibTeX
Design
Executing LOTOS
True concurrency
Testing
Invited presentation II
Verification II
Copyright © Sat May 16 23:12:34 2009
by Michael Ley (ley@uni-trier.de)
