Dependability of safety-critical systems: contribution of the synchronous approach.

Published in: ISSRE (1995)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
nuclear power plant
support systems
adaptive systems
learning systems
management system
distributed systems
ambient intelligence
real time
intelligent agents
decision makers
low cost
object oriented
multi agent systems