prindi

PSL assertions based verification with HLDD tools

autor
Jenihhin, Maksim
vastutusandmed
Maksim Jenihhin
allikas
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[Tallinna Tehnikaülikool]
ilmumisaasta
2007
leheküljed
lk. 17-20 : ill
märksõna
digitaaltehnika
verifikatsioon
otsustusdiagrammid
ISBN
978-9985-59-700-2
märkused
Bibliogr.: 9 nim
keel
inglise
Jenihhin, M. PSL assertions based verification with HLDD tools // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum. [Tallinn] : [Tallinna Tehnikaülikool], 2007. lk. 17-20 : ill.