Klaas Wijbrans

According to our database, Klaas Wijbrans authored at least 3 papers between 1999 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.

Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts

Proceedings of the FM 2008: Formal Methods, 2008

2001

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.

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

Formal Methods Syst. Des., 2001

1999

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

Proceedings of the FM'99 - Formal Methods, 1999