DGA-DSP : Vérification de systèmes à données booléennes et entières
Contact : Emmanuelle.Encrenza (at) nulllip6.frFrom 02/28/2000 to 08/31/2001
Méthode de vérification de systèmes électroniques complexes utilisant les diagrammes de décision binaires étendus au traitement des types finis.
LaBRI, Université Bordeaux IEmmanuelle ENCRENZA