![](/img/cover-not-exists.png)
[ACM Press Conference Companion of the 2nd International Conference - Nice, France (2018.04.09-2018.04.12)] Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion - Detecting energy bugs and hotspots in control software using model checking
Gastel, Pascal van, Gastel, Bernard van, Eekelen, Marko vanYear:
2018
Language:
english
DOI:
10.1145/3191697.3213805
File:
PDF, 1.33 MB
english, 2018