PSL assertions based verification with HLDD tools
author
Jenihhin, Maksim
statement of authorship
Maksim Jenihhin
source
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
location of publication
[Tallinn]
publisher
[Tallinna Tehnikaülikool]
year of publication
2007
pages
lk. 17-20 : ill
subject term
digitaaltehnika
verifikatsioon
otsustusdiagrammid
ISBN
978-9985-59-700-2
notes
Bibliogr.: 9 nim
language
inglise