Weight Monitoring with Linear Temporal Logic
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Sascha Wunderlich - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
25 Feb 2015 → 27 Feb 2015
Description
Speaker: Dipl.-Math. Sascha WunderlichEvent: Frontiers of Formal Methods
Location: Aachen
Country: Deutschland
Duration of event: 25.02.2015-27.02.2015
Conference
| Title | Frontiers of Formal Methods |
|---|---|
| Conference number | |
| Duration | 25 - 27 February 2015 |
| Website | |
| Degree of recognition | International event |
| Location | RWTH Aachen |
| City | Aachen |
| Country | Germany |