Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]
vastutusandmed
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
allikas
IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
leheküljed
p. 83 : ill. [CD-ROM]
konverentsi nimetus, aeg
IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011
konverentsi toimumispaik
Napa Valley, CA
ISBN
978-1-4577-1744-4
märkused
Bibliogr.: 2 ref
keel
inglise
Karputkin, A., Ubar, R., Tombak, M., Raik, J. Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource] // IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA. [S.l.] : IEEE, 2011. p. 83 : ill. [CD-ROM].