A Contract-based Approach to Specifying and Verifying Safety Critical Systems.

Wei Dong Zhenbang Chen Ji Wang

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

safety critical
formal methods
safety analysis
support systems
fault tolerant
nuclear power plant
agent architecture
expert systems
management system
embedded systems
software engineering
open source
decision support system
knowledge based systems
adaptive systems
regulatory requirements