Negligence: Engineering Safety-Critical Systems.

Published in: SCS (2002)

Keyphrases

safety critical
formal methods
safety analysis
support systems
agent architecture
fault tolerant
embedded systems
nuclear power plant
distributed systems
management system
information systems
expert systems
software engineering
intelligent systems
knowledge based systems
software intensive systems