Airbag case study is cover story of university magazine

Our recently published case study “Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples” is the cover story over the newest issue of UNIKON the magazine of the University of Konstanz.

Read the Article

One thought on “Airbag case study is cover story of university magazine

  1. Hi, I’m saeed afshari. student of computre eng in iran.
    I’m interested in your work on spin model checker.
    but i have a problem with spin on windows installation.
    when i use set verification parameters, my CPU and mem usage goes to 100% and i have no result and i have to end task it.
    did you have a same experience? and what should i do.
    thank you.

Leave a Reply

Your email address will not be published. Required fields are marked *