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 proceedingConference contribution

29 Downloads (Pure)
Original languageEnglish
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control
Number of pages10
ISBN (Electronic)978-1-4503-3955-1
Publication statusPublished - 11 Apr 2016

Cite this