Co-Design and Refinement for Safety Critical Systems.

Ammar Aljer Philippe Devienne

Published in: DFT (2004)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
support systems
nuclear power plant
management system
intelligent systems
computational intelligence
distributed systems
learning systems
databases
metamodel
user interface
adaptive systems
decision making
data mining