Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.

Anjali Joshi Mats Per Erik Heimdahl

Published in: SAFECOMP (2005)

Keyphrases

safety analysis
metamodel
information systems
decision making
e learning
knowledge base
knowledge based systems