Linking Paradigms in Safety Critical Systems.

Akram Idani Jean-Louis Boulanger Laurent Philippe

Published in: Int. J. Comput. Their Appl. (2009)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
support systems
expert systems
adaptive systems
multi agent
intelligent systems
learning systems
nuclear power plant
management system
case based reasoning
distributed systems
ambient intelligence