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
Workshop
| Titel | 1st Workshop on Quantitative Aspects of Variant-rich Systems |
|---|---|
| Kurztitel | QAVS 2020 |
| Veranstaltungsnummer | 1 |
| Beschreibung | co-located with eQONFEST 2020 |
| Dauer | 31 August 2020 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Online |
| Stadt | Wien |
| Land | Österreich |