Login / Signup
Reuse in Safety Critical Systems: Educational Use Case First Experiences.
Miren Illarramendi Rezabal
Leire Etxeberria Elorza
Xabier Elkorobarrutia Letona
Published in:
EUROMICRO-SEAA (2014)
Keyphrases
</>
safety critical
formal methods
support systems
safety analysis
fault tolerant
agent architecture
e learning
case study
learning systems
embedded systems
distributed systems
artificial intelligence
adaptive systems
nuclear power plant
multimedia
object oriented
regulatory requirements