Login / Signup
Reuse in Safety Critical Systems: Educational Use Case Final Results.
Miren Illarramendi Rezabal
Leire Etxeberria
Xabier Elkorobarrutia
Published in:
EUROMICRO-SEAA (2015)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
agent architecture
safety analysis
distributed systems
support systems
nuclear power plant
e learning
multimedia
learning environment
expert systems