Building Power Consumption Models from Executable Timed I O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK - Ó - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-02-03 11:53:39		Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 4,36 MB Share Document on Facebook