Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
- J.M. Wing (Editor)
- , M. Chaudron
- , G.J. Tretmans
- , J. Woodcock (Editor)
- , J. Davies (Editor)
- , K.C.J. Wijbrans
Research output: Contribution to conference › Paper › peer-review
1
Downloads
(Pure)