Greener Bits: Formal Analysis of Demand Response
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Sascha Wunderlich - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
17 Okt. 2016 → 20 Okt. 2016
Beschreibung
Konferenz
| Titel | 14th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Kurztitel | ATVA 2016 |
| Veranstaltungsnummer | |
| Dauer | 17 - 20 Oktober 2016 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Chiba |
| Land | Japan |