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 
@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
Design
Executing LOTOS
True concurrency
Testing
Invited presentation II
- Tommaso Bolognesi:
The electric power of LOTOS - Results of a joint academic/industrial experiment.
431-446
Verification II
Last update Fri May 25 08:14:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
