Chapitre D'ouvrage
Année : 2018
Laurence BEN TITO : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01989546
Soumis le : mardi 22 janvier 2019-14:35:11
Dernière modification le : jeudi 4 avril 2024-18:20:14
Dates et versions
Licence
Identifiants
- HAL Id : hal-01989546 , version 1
Citer
Arthur Kalsing, Laurent Fesquet, C. Aktouf. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. Languages, Design Methods, and Tools for Electronic System Design, springer, pp.107-127, 2018. ⟨hal-01989546⟩
9
Consultations
0
Téléchargements