A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.

Arthur Kalsing, Laurent Fesquet, Chouki Aktouf

Browse the full FDL paper archive.