Riadh, HOCINE (2013) Une méthodologie de conception automatique de modèles formels pour des descriptions SystemC. Doctoral thesis, Université de Batna 2.