Login / Signup
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.
Ya Wang
Rui Wang
Yong Guan
Xiaojuan Li
Hongxing Wei
Jie Zhang
Published in:
COMPSAC Workshops (2015)
Keyphrases
</>
fault tolerant
safety critical
safety analysis
control system
nuclear power plant
distributed systems
formal methods
artificial intelligence
cooperative
fuzzy logic
knowledge based systems
model checking
formal specification