Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
author
Dušina, Julia
supervisor
Borrione, Dominique
statement of authorship
J. Dushina
type of dissertation
doktoritöö
university/scientific institution
Universite Joseph Fourie de Grenoble
location of publication
Grenoble
publisher
Universite Joseph Fourie de Grenoble
year of publication
1999
pages
147 lk
subject term
digitaaltehnika
verifikatsioon
subject of form
dissertatsioonid
keyword
high-level synthesis for test
formal ferification
notes
Doktoriväitekiri - Universite Joseph Fourie de Grenoble, 1999
Pealkirja tõlge: Digitaalsüsteemide formaalne verifitseerimine
Dušina, Julia, 1969-
TalTech department
arvutitehnika instituut
language
prantsuse