A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis.

Matthias Güdemann Frank Ortmeier

Published in: HASE (2010)

Keyphrases

qualitative and quantitative
quantitative and qualitative
safety analysis
qualitative information
real time
expert systems
particle filter