By Akbarpour Behzad   Tahar Sofiène   Dekdouk Abdelkader   in Formal Methods in System Design

ISSN:0925-9856|27|1-2|173-200

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 15.989201

By Xiong Haiyan   Curzon Paul   Tahar Sofiène   Blandford Ann   in Formal Methods in System Design

ISSN:0925-9856|30|2|83-116

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 13.324333

By Abdel-Hamid Amr   Tahar Sofiéne   Aboulhamid El   in Design Automation for Embedded Systems

ISSN:0929-5585|9|3|211-227

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 4.0614276