Probabilistic Model Checking

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Lehrveranstaltung › Eingeladen

Personen und Einrichtungen

6 Aug. 2025 → 9 Aug. 2025

Titel	Summer School Marktoberdorf 2025
Untertitel	Specification and Verification for Secure Cyberspace
Kurztitel	MOD25
Dauer	6 - 15 August 2025
Webseite	https://www.congresscenter.philosophie.uni-muenchen.de/kongresse/mod25/index.html
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Gymnasium Marktoberdorf
Stadt	Marktoberdorf
Land	Deutschland