prindi

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

autor
Dušina, Julia
juhendaja
Borrione, Dominique
vastutusandmed
J. Dushina
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Universite Joseph Fourie de Grenoble
ilmumiskoht
Grenoble
kirjastus/väljaandja
Universite Joseph Fourie de Grenoble
ilmumisaasta
1999
leheküljed
147 lk
märksõna
digitaaltehnika
verifikatsioon
vormimärksõna
dissertatsioonid
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
arvutitehnika instituut
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.