Verification and error correction on High-Level Decision Diagrams
autor
Karputkin, Anton
vastutusandmed
Anton Karputkin
ilmumiskoht
Saarbrücken
kirjastus/väljaandja
Lambert Academic Publishing
ilmumisaasta
2013
leheküljed
124 p. : ill
märksõna
digitaaltehnika
süsteemide modelleerimine
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
ISBN
978-3-659-35570-7
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise