![](/img/cover-not-exists.png)
Transportation risk analysis using probabilistic model checking
Soeanu, Andrei, Debbabi, Mourad, Alhadidi, Dima, Makkawi, Makram, Allouche, Mohamad, Bélanger, Micheline, Léchevin, NicholasVolume:
42
Language:
english
Journal:
Expert Systems with Applications
DOI:
10.1016/j.eswa.2014.12.052
Date:
June, 2015
File:
PDF, 1.38 MB
english, 2015