Login / Signup
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
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
formal methods
control system
development lifecycle
formal analysis
safety critical
case study
artificial intelligence
knowledge based systems
process algebra
formal specification language
information systems
user interface
distributed systems
design process
lessons learned
formal specification