Formal Verification and Error Correction on High-Level Decision Diagrams

Kirje

Karputkin, Anton (2012). Formal Verification and Error Correction on High-Level Decision Diagrams. (Tallinna Tehnika Ülikool). TTU Press.

Publikatsiooni tüüp

dissertatsioon

Autorid, kellel on ETISe konto

Anton Karputkin (Autor)

Autorid

Kui väljale „Autorid, kelle on ETISE konto“ sai lisada ainult neid isikuid, kes on ETISe kasutajad, siis väljale „Autorid“ tuleks sisestada kõigi publikatsiooni autorite nimed formaadis "Perenimi, Eesnimi" või "Perenimi, E.". Mitu nime tuleks eraldada semikooloniga. Nimed tuleks jätta sellisele kujule nagu nad on publikatsiooni originaalis ja seda isegi juhul, kui mõne autori nimi on muutunud (nt abiellumise tõttu). Publikatsioonide otsing otsib nimesid nii väljalt "Autorid, kelle on ETISE konto" kui "Autorid" sisust. Kui seotud isik on toimetaja või koostaja, siis tuleks siia reale sisestada tema nimi ning lisaks ka ttegevuse lühend, nt "Perenimi, Eesnimi (Toim.)"

Karputkin, Anton

Keeled

Inglise

Pealkiri tõlkes

Välja täitmine on soovitatav juhul, kui publikatsiooni originaalpealkiri ei ole inglise keeles. Tõlge võib vajalikuks osutuda näiteks juhul, kui eesti keelt mittevaldav retsensent vaatab publikatsiooni autori ETISe CV-d.

Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel

Ülikool

Tallinna Tehnika Ülikool

Kirjastus

TTU Press

ISSN

1406-4731

ISBN

978-9949-23-333-5

Ilmumisaasta

2012

Lehekülgede arv

126

Staatus

Ilmumas publikatsioonide all peetakse silmas neid, mis on väljaandesse või kogumikku vastu võetud (accepted, in press), ent toimetamise või trükiprotsess on veel pooleli. Ilmumas staatusega publikatsioonide puhul on kohustuslik lisada publikatsiooni andmetesse kas DOI või fail, mis sisaldab toimetaja kinnituskirja publikatsiooni ilmumise kohta.

Ilmunud

Klassifikatsioon

2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);

Open Access

Teadmata

Viited terviktekstile

URL

digi.lib.ttu.ee/i/?777

Seotud asutused

Asutused

Lisainfo

Projektid

SF0140013s10 "Evolutsioneeruvate infosüsteemide mudelipõhine loomine ja haldamine (1.01.2010−31.12.2014)", Kuldar Taveter, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.

Loobu

Eesti Teadusinfosüsteem

Formal Verification and Error Correction on High-Level Decision Diagrams

Viited terviktekstile

Seotud asutused

Lisainfo