See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Interactive Presentation Abstract: Automated Correction of Design Errors by Edge Redirection on High-Level Decision Diagrams

Karputkin, A.; Ubar, R.; Tombak, M.; Raik, J. (2011). Interactive Presentation Abstract: Automated Correction of Design Errors by Edge Redirection on High-Level Decision Diagrams. Conference Proceedings: IEEE International High Level Design Validation and Test Workshop, Napa Valley, Nov. 9-11, 2011. IEEE Computer Society, 83.10.1109/HLDVT.2011.6113980.
publitseeritud konverentsiettekanne
Karputkin, A.; Ubar, R.; Tombak, M.; Raik, J.
  • Inglise
Conference Proceedings
IEEE International High Level Design Validation and Test Workshop, Napa Valley, Nov. 9-11, 2011
IEEE Computer Society
1552-6674
978-1-4577-1744-4
2011
83
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1109/HLDVT.2011.6113980