Klaas Wijbrans

Publication Activity (10 Years)

Years Active: 1999-2008
Publications (10 Years): 0

Publications

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)
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 Syst. Des. 19 (2) (2001)
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)