C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems.
Carles Hernández
Jaume Abella
Published in:
DAC (2014)
Keyphrases
</>
safety critical
error detection
safety analysis
formal methods
error correction
support systems
embedded systems
nuclear power plant
adaptive systems
agent architecture
fault tolerant
real time
learning systems
intelligent systems
software development
low cost
software engineering
learning process
cooperative