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

Formal verification and error correction on high-level decision diagrams

Anton Karputkin, doktorikraad, 2012, (juh) Raimund Ubar; Jaan Raik; Mati Tombak, Formal verification and error correction on high-level decision diagrams (Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut.
Anton Karputkin
doktorikraad
Kaitstud
Ei
1.09.2008
23.08.2012
2012
Inglise
Formal verification and error correction on high-level decision diagrams
Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
ValdkondAlamvaldkondCERCS eriala
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia