Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:42:41 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||