Modeling and Verification of Safety-Critical Systems Using Safecharts.

Pao-Ann Hsiung Yen-Hung Lin

Published in: FORTE (2005)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
support systems
management system
nuclear power plant
decision making
cooperative
expert systems
distributed systems
intelligent systems
model checking
machine learning
decision support system
artificial intelligence