for Safety-Critical Applications.

Benjamin M. Brosgol Andy J. Wellings

Published in: Ada-Europe (2006)

Keyphrases

safety critical
fault tolerant
formal methods
nuclear power plant
safety analysis
embedded systems
agent architecture
support systems
regulatory requirements
adaptive systems
expert systems
low cost
management system
learning systems
context aware
peer to peer
software engineering