Formal Methods in the Design of s Storm Surge Barrier Control System

Authors:
Pim Kars
Affiliations:
-
Venue:
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
Year:
1996

Citing 0
Cited 3

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

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

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A formal verification study on the Rotterdam storm surge barrier

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract