EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Latella, D.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon Apr 24 02:38:45 CEST 2017.