Role-based Automata: Modeling and Formal Analysis of Context-Dependent Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
- Philipp Chrszon - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
26 März 2021
Beschreibung
Workshop
| Titel | 2nd Workshop on Quantitative Aspects of Variant-rich Systems |
|---|---|
| Kurztitel | QAVS 2021 |
| Veranstaltungsnummer | 2 |
| Dauer | 26 März 2021 |
| Webseite | |
| Ort | Online |
| Stadt | München |
| Land | Deutschland |