Energy-Utility Quantiles
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Marcus Daum - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
29 Apr 2014 → 1 May 2014
Description
Conference
| Title | 6th NASA Formal Methods Symposium |
|---|---|
| Abbreviated title | NFM 2014 |
| Conference number | 6 |
| Duration | 29 April - 1 May 2014 |
| Degree of recognition | International event |
| City | Houston |
| Country | United States of America |