Family-based Quantitative Analysis in Prism
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
- Clemens Dubslaff - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
31 Aug. 2020
Konferenz
Titel | First Workshop on Quantitative Aspects of Variant-rich Systems |
---|---|
Kurztitel | QAVS 2020 |
Veranstaltungsnummer | |
Dauer | 31 August 2020 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | online |
Stadt | Wien |
Land | Österreich |