Verifying a scheduling protocol of safety-critical systems.

Meng Wang Cong Tian Nan Zhang Zhenhua Duan Hongwei Du

Published in: J. Comb. Optim. (2019)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
real time
model checking
support systems
adaptive systems
artificial intelligence
information systems
decision making
cooperative
expert systems