Assessment criteria for safety critical computer.

El-Miloudi El-Koursi Ph. Meganck

Published in: SMC (1998)

Keyphrases

safety critical
formal methods
fault tolerant
agent architecture
safety analysis
embedded systems
nuclear power plant
support systems
adaptive systems
regulatory requirements
real time
decision making
low cost
open source
development process