Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 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 07:03:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||