Building Power Consumption Models from Executable Timed I/O Automata Specifications. / Barbot, Benoit; Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola.

Hybrid Systems : Computation and Control. 2016. p. 195-204.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

Links

Original languageEnglish
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control
Pages195-204
Number of pages10
ISBN (Electronic)978-1-4503-3955-1
DOIs
Publication statusPublished - 11 Apr 2016
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140389