Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
author
supervisor
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
pages
147 lk
subject term
subject of form
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-
TTÜ department
language
prantsuse
Dušina, J. Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]. Grenoble : Universite Joseph Fourie de Grenoble, 1999. 147 lk.