| |
| 2008 | ||
|---|---|---|
| 3 | EE | Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts: Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. FM 2008: 419-424 |
| 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 | Franc Buve | [3] |
| 2 | Michel R. V. Chaudron | [1] [2] |
| 3 | Wouter Geurts | [3] |
| 4 | Robin Rijkers | [3] |
| 5 | Jan Tretmans | [1] [2] |