Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2000
Willemse, T.A.C. and Tretmans, G.J. and Klomp, A.
(2000)
A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol.
In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000).
pp. 331-344.
GMD Report 91.
GMD.
ISSN 1435-2702
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P.
(2000)
A Formal Specification and Validation of a Safety Critical Railway Control System.
In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, 3-4 Apr 2000, Berlin, Germany.
pp. 305-329.
GMD-Report 91.
GMD - Forschungszentrum Informationstechnik GmbH.
ISSN 1435-2702
1999
Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B.
(1999)
Questions and Answers About Ten Formal Methods.
In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy.
pp. 179-203.
ERCIM/CNR.
ISBN 88-7958-009-4
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M.
(1999)
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited.
In: Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) -- Proceedings of the FLoC Workshop, 11-12 July 1999, Trento, Italy.
pp. 225-237.
Servizio Tecnografico Area di Ricerca del CNR.
ISBN not assigned
This list was generated on Thu May 24 06:22:33 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||