[BKM+16]B.Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti.Building Power Consumption Models from Executable Timed I/O Automata Specifications.In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear.2016.
[pdf]
[bib]
Downloads:pdf (4.36 MB)
bib
Notes:
An extended version of this paper can be found at http://www.cs.ox.ac.uk/files/7964/CS-RR-16-01.pdf
pdf (4.36 MB)
bib