Login / Signup
Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments.
Mladen Slijepcevic
Leonidas Kosmidis
Jaume Abella
Eduardo Quiñones
Francisco J. Cazorla
Published in:
IEEE Micro (2014)
Keyphrases
</>
safety critical
fault tolerant
safety analysis
fault tolerance
nuclear power plant
formal methods
distributed systems
high assurance
load balancing
regulatory requirements
model checking
sensor networks
formal verification
decision making
agent architecture
mobile devices
database