Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]

vastutusandmed
J. Dushina
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Universite Joseph Fourie de Grenoble
ilmumiskoht
Grenoble
kirjastus/väljaandja
Universite Joseph Fourie de Grenoble
ilmumisaasta
leheküljed
147 lk
vormimärksõna
võtmesõna
high-level synthesis for test
formal ferification
märkused
Doktoriväitekiri - Universite Joseph Fourie de Grenoble, 1999
Pealkirja tõlge: Digitaalsüsteemide formaalne verifitseerimine
Dušina, Julia, 1969-
TTÜ struktuuriüksus
keel
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.