Login / Signup
Reducing the cost of redundant execution in safety-critical systems using relaxed dedication.
Brett H. Meyer
Nishant J. George
Benton H. Calhoun
John C. Lach
Kevin Skadron
Published in:
DATE (2011)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
distributed systems
nuclear power plant
fault tolerant
support systems
expert systems
management system
agent architecture
databases
e learning
knowledge base
low cost