Citation:
Hocine R, Kalla H, Kalla S, Arar C. A methodology for verification of embedded systems based on systemc, in Complex Systems (ICCS), 2012 International Conference on. ; 2012 :1-6.
Dr. Chafik Arar
Maître de Conférences A
Département d'Informatique
Faculté des Mathématiques et d'Informatique
Contact
