Tutorial: Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
4 Aug 2015 → 16 Aug 2015
Description
Conference
| Title | Summer School Marktoberdorf 2015 |
|---|---|
| Subtitle | Verification and Synthesis of Correct and Secure Systems |
| Conference number | |
| Duration | 4 - 16 August 2015 |
| Degree of recognition | International event |
| Location | |
| City | Marktoberdorf |
| Country | Germany |