These are safety-critical times.

Published in: Cogn. Technol. Work. (2008)

Keyphrases

safety critical
formal methods
fault tolerant
agent architecture
safety analysis
embedded systems
regulatory requirements
nuclear power plant
support systems
management system
real time
control system
distributed systems
intelligent agents