Login / Signup
Makram Makkawi
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Automated Verification
Risk Analysis
Alternating Time Temporal Logic
Model Checking
Top Venues
Expert Syst. Appl.
</>
Publications
</>
Andrei Soeanu
,
Mourad Debbabi
,
Dima Alhadidi
,
Makram Makkawi
,
Mohamad Khaled Allouche
,
Micheline Bélanger
,
Nicolas Léchevin
Transportation risk analysis using probabilistic model checking.
Expert Syst. Appl.
42 (9) (2015)