Fulltext present in this item

Thumbnail
Fulltext: 195369.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Detecting energy bugs and hotspots in control software using model checking
Author(s): Gastel, P. van; Gastel, B.E. van; Eekelen, M.C.J.D. van
Publication year: 2018
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-98
Publisher: New York : ACM
ISBN: 9781450355131
DOI: https://doi.org/10.1145/3191697.3213805
Annotation: 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

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/195369   https://hdl.handle.net/2066/195369

Display more details
Editor(s): Marr, S.
Subject: Digital Security
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

This item appears in the following Collection(s)

Browse

Statistics