3. FME 1996:
Oxford,
UK
Marie-Claude Gaudel, Jim Woodcock (Eds.):
FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.
Lecture Notes in Computer Science 1051 Springer 1996, ISBN 3-540-60973-3 BibTeX
@proceedings{DBLP:conf/fm/1996,
editor = {Marie-Claude Gaudel and
Jim Woodcock},
title = {FME '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored
by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
booktitle = {FME},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1051},
year = {1996},
isbn = {3-540-60973-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
- C. A. R. Hoare:
How Did Software Get So Reliable Without Proof?
1-17 BibTeX
- Terje Sivertsen:
A Case Study on the Formal Development of a Reactor Safety System.
18-38 BibTeX
- Jan Peleska:
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.
39-59 BibTeX
B
Action Systems
Requirements
VDM
User Interfacts for Formal Methods
Z
Distributed Systems (1)
Larch and LP
Model Checking
Distributed Systems
Testing and Debugging
Architecture and Reuse
Transformations
Model Checking
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
