Opening book details…
About this Computer Science article
Transportation Risk Analysis Using Probabilistic Model Checking by Soeanu, Andrei; Debbabi, Mourad; Alhadidi, Dima; Makkawi, Makram; Allouche, Mohamad; Bélanger, Micheline; Léchevin, Nicholas is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Soeanu, Andrei; Debbabi, Mourad; Alhadidi, Dima; Makkawi, Makram; Allouche, Mohamad; Bélanger, Micheline; Léchevin, Nicholas
- Publisher
- Elsevier Science; Elsevier ; Elsevier Ltd.; Elsevier BV (ISSN 0957-4174)
- Published
- 2015
- Language
- EN
- Field
- Computer Science (Physical Sciences)