Reuse in Safety Critical Systems: Educational Use Case.

Miren Illarramendi Rezabal Leire Etxeberria Elorza Xabier Elkorobarrutia Letona

Published in: EUROMICRO-SEAA (2013)

Keyphrases

safety critical
formal methods
safety analysis
support systems
embedded systems
fault tolerant
intelligent systems
knowledge based systems
nuclear power plant
learning systems
e learning
user interface
management system
open source
agent architecture