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