Login / Signup

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.

Husain AljazzarManuel FischerLars GrunskeMatthias KuntzFlorian Leitner-FischerStefan Leue
Published in: QEST (2009)
Keyphrases
  • safety analysis
  • bayesian networks
  • nuclear power plant
  • real time
  • information systems
  • decision making
  • intelligent agents
  • safety critical
  • symbolic model checking