Verification and error correction on High-Level Decision Diagrams
author
Karputkin, Anton
statement of authorship
Anton Karputkin
location of publication
Saarbrücken
publisher
Lambert Academic Publishing
year of publication
2013
pages
124 p. : ill
subject term
digitaaltehnika
süsteemide modelleerimine
verifikatsioon
kompuutersimulatsioon
otsustusdiagrammid
ISBN
978-3-659-35570-7
TalTech department
arvutitehnika instituut
language
inglise