Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
5 Apr. 2014 → 13 Apr. 2014
Konferenz
Titel | 17th International Conference on Fundamental Approaches to Software Engineering |
---|---|
Kurztitel | FASE 2014 |
Veranstaltungsnummer | |
Dauer | 5 - 13 April 2014 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Grenoble |
Land | Frankreich |