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
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia