Safety-critical systems, formal methods and standards.

Jonathan P. Bowen Victoria Stavridou

Published in: Softw. Eng. J. (1993)

Keyphrases

formal methods
safety critical
safety analysis
nuclear power plant
knowledge based systems
formal specification
artificial intelligence
model checking
fault tolerant
regulatory requirements
embedded systems
model checker
software engineering
agent architecture
machine learning
support systems