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

Abstract : no abstract
Type de document :
Communication dans un congrès
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, 2016, Unknown, Unknown Region. pp.195--204, 2016, 〈10.1145/2883817.2883844〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01371896
Contributeur : Benoît Barbot <>
Soumis le : lundi 26 septembre 2016 - 15:39:32
Dernière modification le : mercredi 20 juin 2018 - 11:51:43

Identifiants

Citation

Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti. Building Power Consumption Models from Executable Timed I/O Automata Specifications. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, 2016, Unknown, Unknown Region. pp.195--204, 2016, 〈10.1145/2883817.2883844〉. 〈hal-01371896〉

Partager

Métriques

Consultations de la notice

18