Building Power Consumption Models from Executable Timed I/O Automata Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01371896 , version 1 (26-09-2016)

Identifiants

Citer

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, ⟨10.1145/2883817.2883844⟩. ⟨hal-01371896⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More