Techniques formelles pour la preuve d'équivalence de circuits séquentiels
FR
Auteur / Autrice : | Solaiman Rahim |
Direction : | Bruno Rouzeyre |
Type : | Thèse de doctorat |
Discipline(s) : | Électronique, optronique et systèmes |
Date : | Soutenance en 2004 |
Etablissement(s) : | Montpellier 2 |
Mots clés
FR