Synthesizing Fault Tolerant Safety Critical Systems.

Seemanta Saha Muhammad Sheikh Sadi

Published in: J. Comput. (2014)

Keyphrases

safety critical
fault tolerant
fault tolerance
safety analysis
distributed systems
nuclear power plant
formal methods
embedded systems
agent architecture
support systems
load balancing
regulatory requirements
adaptive systems
interconnection networks
object oriented
cooperative
metadata