Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System
暂无分享,去创建一个
Klaas Wijbrans | Franc Buve | Robin Rijkers | Wouter Geurts | K. Wijbrans | W. Geurts | Franc Buve | R. Rijkers
[1] Jan Friso Groote,et al. Hoe betrouwbaar is de Maeslantkering , 2006 .
[2] S. Anderson,et al. Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.
[3] Michel R. V. Chaudron,et al. Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System , 1999, World Congress on Formal Methods.
[4] K.C.J. Wijbrans,et al. Testing and Formal Methods - BOS Project Case Study , 1998 .
[5] Michel R. V. Chaudron,et al. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods , 2001, Formal Methods Syst. Des..