OASIS formal approach for distributed safety-critical real-time system design.

Sylvain Camier Damien Chabrol Vincent David Christophe Aussaguès

Published in: ISoLA (2007)

Keyphrases

safety critical
formal methods
real time
fault tolerant
embedded systems
nuclear power plant
safety analysis
artificial intelligence
design process
low cost
support systems
software engineering
data mining
distributed systems
computational intelligence
agent architecture
formal specification
management system