EEMCS

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

EEMCS EPrints Service


Editor: Wing, J.M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1999

Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II. pp. 1511-1526. Lecture Notes in Computer Science 1709. Springer Verlag. ISBN 3-540-66588-9

This list was generated on Fri Mar 24 08:27:54 CET 2017.