Advances in Symbolic Probabilistic Model Checking with PRISM
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Joachim Klein - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
4 Apr. 2016 → 7 Apr. 2016
Konferenz
| Titel | 22nd International Conference of Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Kurztitel | TACAS 2016 |
| Veranstaltungsnummer | |
| Dauer | 2 - 8 April 2016 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Eindhoven |
| Land | Niederlande |