Specifying safety-critical systems with a decidable duration logic.

Published in: Sci. Comput. Program. (2014)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
nuclear power plant
fault tolerant
agent architecture
management system
cooperative
expert systems
distributed systems
learning systems
regulatory requirements
data mining
intelligent systems
artificial intelligence
machine learning