Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.

Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans

Browse the full FM paper archive.