136900631
2009-10-01
2020-10-22T15:33:34
Assistance à l'abstraction de composants virtuels pour la vérification rapide de systèmes numériques / présentée et soutenue par Waseem Muhammad ; sous la direction de Michel Auguin. - 2008 [Thèse, Nice]
0000000140271938
male
Muhammad, Waseem (1979-....)
Muhammad
Waseem
Waseem Muhammad
1979
Titulaire d'une thèse de doctorat en Informatique, soutenue à Nice en 2008
Assistance à l'abstraction de composants virtuels pour la vérification rapide de systèmes numériques / présentée et soutenue par Waseem Muhammad ; sous la direction de Michel Auguin / Lille : Atelier national de reproduction des thèses , 2008
Assistance à l'abstraction de composants virtuels pour la vérification rapide de systèmes numériques / présentée et soutenue par Waseem Muhammad ; sous la direction de Michel Auguin / [S.l.] : [s.n.] , 2008
Assistance à l'abstraction de composants virtuels pour la vérification rapide de systèmes numériques / présentée et soutenue par Waseem Muhammad / Villeurbanne : [CCSD] , 2010