6. FORTE 1993:
Boston,
MA,
USA
Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (Eds.):
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993.
IFIP Transactions C-22 North-Holland 1994, ISBN 0-444-81773-5 BibTeX
@proceedings{DBLP:conf/forte/1993,
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"U}mit Uyar},
title = {Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1
Sixth International Conference on Formal Description Techniques
- FORTE '93, Boston, MA, USA, 26-29 October 1993},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-22},
year = {1994},
isbn = {0-444-81773-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Verification
LOTOS
Invited Talk
Automata and Estelle
Industrial Reports
- Graeme I. Parkin, Stephen Austin:
Overview: Survey of Formal Methods in Industry.
189-203 BibTeX
- Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita:
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.
205-218 BibTeX
- Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez, F. Javier Carrasco:
An Industrial Experience on Development with LOTOS and SDL.
219-234 BibTeX
- Sanjai Narain, Orville Cockings, Ritu Chadha:
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.
235-250 BibTeX
Time and Algebra
Testing
Protocols and Formal Specification
Timed-LOTOS
Copyright © Sat May 16 23:12:34 2009
by Michael Ley (ley@uni-trier.de)
