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
Workshop
| Titel | Quantitative Aspects of Variant-rich Systems |
|---|---|
| Kurztitel | QAVS |
| Veranstaltungsnummer | |
| Dauer | 26 März 2021 |
| Webseite | |
| Ort | online |
| Stadt | München |
| Land | Deutschland |