Tutorial: Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
4 Aug. 2015 → 16 Aug. 2015
Beschreibung
Redner:in: Prof. Dr. Christel BaierTagung: Summer School Marktoberdorf 2015 Verification and Synthesis of Correct and Secure Systems
Ort: Marktoberdorf
Land: Deutschland
Veranstaltungsdauer: 04.08.2015-16.08.2015
Konferenz
| Titel | Summer School Marktoberdorf 2015 |
|---|---|
| Untertitel | Verification and Synthesis of Correct and Secure Systems |
| Veranstaltungsnummer | |
| Dauer | 4 - 16 August 2015 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Marktoberdorf |
| Land | Deutschland |