Ontology-Mediated Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Clemens Dubslaff - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
6 Dez. 2019
Beschreibung
Speaker: Clemens DubslaffEvent: 15th International Conference on integrated Formal Methods (iFM) 2019
Location: Bergen
Country: Norwegen
Duration of event: 06.12.2019-06.12.2019
Konferenz
| Titel | 15th International Conference on Integrated Formal Methods |
|---|---|
| Kurztitel | iFM 2019 |
| Veranstaltungsnummer | |
| Dauer | 2 - 6 Dezember 2019 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Bergen |
| Land | Norwegen |