Verification of a real time scheduling protocol of safety-critical systems.

Meng Wang Zhenhua Duan Cong Tian Nan Zhang

Published in: CSCWD (2015)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
model checker
fault tolerant
agent architecture
support systems
real time
distributed systems
intelligent systems
model checking
regulatory requirements
adaptive systems
learning systems
multi agent
machine learning
data mining