Energy-Utility Quantiles
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Marcus Daum - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
29 Apr. 2014 → 1 Mai 2014
Beschreibung
Konferenz
| Titel | 6th NASA Formal Methods Symposium |
|---|---|
| Kurztitel | NFM 2014 |
| Veranstaltungsnummer | 6 |
| Dauer | 29 April - 1 Mai 2014 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Houston |
| Land | USA/Vereinigte Staaten |