Skip to main content

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

Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti

Book Title
19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear
Year
2016