Sign in
Combining Statecharts and Z for the Design of Safety-Critical Control Systems.
Matthias Weber
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