Verifying safety critical task scheduling systems in PPTL axiom system.

Nan Zhang Mengfei Yang Bin Gu Zhenhua Duan Cong Tian

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

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
databases
learning systems
support systems
knowledge based systems
real time
artificial intelligence
nuclear power plant