Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen. Detecting energy bugs and hotspots in control software using model checking. In Stefan Marr, Jennifer B. Sartor, editors, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. pages 93-98, ACM, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.