A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018
Fichier non déposé

Dates et versions

hal-01989546 , version 1 (22-01-2019)

Licence

Paternité - Pas d'utilisation commerciale

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⟩

Collections

UGA CNRS TIMA
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More