Combining Statecharts and Z for the Design of Safety-Critical Control Systems.

Published in: FME (1996)

Keyphrases

safety critical
formal methods
safety analysis
control system
design process
embedded systems
artificial intelligence
machine learning
case study
user interface
real time
information systems
open source
metamodel
agent architecture
nuclear power plant