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