Probabilistic Model Checking for Energy Analysis in Product Lines
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
6 Nov 2013 → 8 Nov 2013
Description
Speaker: Clemens DubslaffEvent: ROCKS Workshop
Location: Smockelaer
Country: Niederlande
Duration of event: 06.11.2013-08.11.2013
Workshop
| Title | ROCKS Workshop 2013 |
|---|---|
| Abbreviated title | ROCKS 2013 |
| Duration | 6 - 8 November 2013 |
| Degree of recognition | International event |
| City | Smockelaer |
| Country | Netherlands |