Fingerprint Dive into the research topics of 'Detecting energy bugs and hotspots in control software using model checking'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Detecting energy bugs and hotspots in control software using model checking
Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review