Automated Correction of Design Errors by Edge Redirection on High-Level Decision Diagrams
Karputkin, A.; Ubar, R.; Tombak, M.; Raik, J. (2012). Automated Correction of Design Errors by Edge Redirection on High-Level Decision Diagrams. 13th International Symposium on Quality Electronic Design (ISQED), 2012: International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, USA, 19-21.03.2012. IEEE, 686−693. DOI: 10.1109/ISQED.2012.6187566.
publitseeritud konverentsiettekanne
Karputkin, A.; Ubar, R.; Tombak, M.; Raik, J.
- Inglise
13th International Symposium on Quality Electronic Design (ISQED), 2012
International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA, USA, 19-21.03.2012
IEEE
1948-3287
978-1-4673-1034-5
2012
686–693
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Ei
Viited terviktekstile
Seotud asutused
Lisainfo
- SF0140041s08 "Töökindlate sardsüsteemide disain (1.01.2008−31.12.2013)", Raimund Ubar, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.
- SF0140013s10 "Evolutsioneeruvate infosüsteemide mudelipõhine loomine ja haldamine (1.01.2010−31.12.2014)", Kuldar Taveter, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.