Probabilistic Model Checking for Energy Analysis in Product Lines
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 Nov. 2013 → 8 Nov. 2013
Beschreibung
Speaker: Clemens DubslaffEvent: ROCKS Workshop
Location: Smockelaer
Country: Niederlande
Duration of event: 06.11.2013-08.11.2013
Workshop
| Titel | ROCKS Workshop 2013 |
|---|---|
| Kurztitel | ROCKS 2013 |
| Dauer | 6 - 8 November 2013 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Smockelaer |
| Land | Niederlande |