Building Power Consumption Models from Executable Timed I/O Automata Specifications

Benoit Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

33 Downloads (Pure)

Original language	English
Title of host publication	Hybrid Systems
Subtitle of host publication	Computation and Control
Pages	195-204
Number of pages	10
ISBN (Electronic)	978-1-4503-3955-1
DOIs	https://doi.org/10.1145/2883817.2883844
Publication status	Published - 11 Apr 2016

Access to Document

@inproceedings{cfd8c24b5d974aeebb19efdca17fd9d3,

title = "Building Power Consumption Models from Executable Timed I/O Automata Specifications",

author = "Benoit Barbot and Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti",

year = "2016",

month = apr,

day = "11",

doi = "10.1145/2883817.2883844",

language = "English",

pages = "195--204",

booktitle = "Hybrid Systems",

}