logo
E-väljaanne
TÄISTEKST TTÜ raamatukogu digikogus http://digi.lib.ttu.ee/i/?777
Autor
Karputkin, Anton, 1983-
Pealkiri
Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel / Anton Karputkin
Ilmumisandmed
Tallinn : Tallinn University of Technology Press, 2012 ([Tallinn : Tallinna Tehnikaülikooli Kirjastuse trükikoda])
Füüsiline kirjeldus
126, [1] lk. : ill. ; 26 cm
Seeria pealkiri
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, ISSN 1406-4731 ; 76
Tallinna Tehnikaülikooli väitekirjad. C, ISSN 1406-4731 ; 76
ISBN
9789949233335
9789949233342 (pdf)
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2012
Autori publikatsioonid lk. xiii. - Bibliograafia lk. 107-117
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
digitaaltehnika; süsteemide modelleerimine; verifikatsioon; kompuutersimulatsioon; dissertatsioonid; otsustusdiagrammid
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
621.382.037.372 (043)
004.3.052.4 (043)
Rööppealkiri
Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel