Weight Monitoring with Linear Temporal Logic
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
25 Feb. 2015 → 27 Feb. 2015
Beschreibung
Speaker: Dipl.-Math. Sascha WunderlichEvent: Frontiers of Formal Methods
Location: Aachen
Country: Deutschland
Duration of event: 25.02.2015-27.02.2015
Konferenz
| Titel | Frontiers of Formal Methods |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 25 - 27 Februar 2015 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | RWTH Aachen |
| Stadt | Aachen |
| Land | Deutschland |