DGA-DSP : Vérification de systèmes à données booléennes et entières
Contact : Emmanuelle.Encrenza (at) nulllip6.frDu 28/02/2000 au 31/08/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