Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
31 Juli 2017 → 4 Aug. 2017
Beschreibung
Seminar
| Titel | Summer School 2017: Verification Technology, Systems & Applications |
|---|---|
| Dauer | 31 Juli - 4 August 2017 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Max Planck Institute for Informatics |
| Stadt | Saarbrücken |
| Land | Deutschland |