- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
other
October 30 2018
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references46
- Record: found
- Abstract: not found
- Book Chapter: not found
Statistical Model Checking: An Overview
Axel Legay, Benoît Delahaye, Saddek Bensalem (2010)
- Record: found
- Abstract: not found
- Article: not found
Uppaal SMC tutorial
Alexandre David, Danny Poulsen, Marius Mikučionis … (2015)
- Record: found
- Abstract: not found
- Book: not found
Handbook of Model Checking
Edmund M. Clarke, Thomas Henzinger, Helmut Veith … (2018)
