Login / Signup
RVC-based time-predictable faulty caches for safety-critical systems.
Jaume Abella
Eduardo Quiñones
Francisco J. Cazorla
Mateo Valero
Yanos Sazeides
Published in:
IOLTS (2011)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
nuclear power plant
embedded systems
agent architecture
support systems
management system
learning systems
cooperative
distributed systems
knowledge based systems
adaptive systems