Probabilistic Model Checking for Energy Analysis in Software 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
22 Apr 2014 → 26 Apr 2014
Description
Conference
| Title | 13th International Conference on Modularity |
|---|---|
| Abbreviated title | MODULARITY '14 |
| Conference number | |
| Duration | 22 - 25 April 2014 |
| Degree of recognition | International event |
| Location | |
| City | Lugano |
| Country | Switzerland |