Detecting energy bugs and hotspots in control software using model checking
Publication year
2018Publisher
New York : ACM
ISBN
9781450355131
In
ACM International Conference Proceedings Series, (2018)Marr, S. (ed.), Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018, pp. 93-98Annotation
Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Marr, S.
Organization
Digital Security
Journal title
ACM International Conference Proceedings Series
Book title
Marr, S. (ed.), Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018
Page start
p. 93
Page end
p. 98
Subject
Digital SecurityThis item appears in the following Collection(s)
- Academic publications [226841]
- Electronic publications [108452]
- Faculty of Science [33955]
- Open Access publications [77617]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.