Skip to content Skip to footer

Probabilistic Model Checking

Activity: Talk or presentation at external institutions/events › Lecture › Invited

Persons and affiliations

Date

6 Aug 2025 → 9 Aug 2025

Seminar

TitleSummer School Marktoberdorf 2025
SubtitleSpecification and Verification for Secure Cyberspace
Abbreviated titleMOD25
Duration6 - 15 August 2025
Website
Degree of recognitionInternational event
LocationGymnasium Marktoberdorf
CityMarktoberdorf
CountryGermany

Keywords