Login / Signup
Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.
Jean-Frédéric Étienne
S. Fechter
E. Juppeaux
Published in:
CSDM (2010)
Keyphrases
</>
safety critical
embedded systems
knowledge based systems
formal methods
case study
fault tolerant
decision making
recommender systems
domain specific
distributed systems
design process
domain experts
domain independent
nuclear power plant