thesis

Techniques formelles pour la preuve d'équivalence de circuits séquentiels

Defense date:

Jan. 1, 2004

Edit

Institution:

Montpellier 2

Disciplines:

Electrical engineering

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.