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