A Community Club on Safety-Critical Systems.

Published in: SCS (2002)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
real time
management system
intelligent systems
adaptive systems
machine learning
expert systems
formal specification