| |
| 2001 | ||
|---|---|---|
| 2 | Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron: Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. Formal Methods in System Design 19(2): 195-215 (2001) | |
| 1999 | ||
| 1 | EE | Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans: Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. World Congress on Formal Methods 1999: 1511-1526 |
| 1 | Michel R. V. Chaudron | [1] [2] |
| 2 | Jan Tretmans | [1] [2] |