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

Karputkin, Anton (2012). Formal Verification and Error Correction on High-Level Decision Diagrams. (Tallinna Tehnika Ülikool). TTU Press.
dissertatsioon
Karputkin, Anton
  • Inglise
Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
Tallinna Tehnika Ülikool
TTU Press
1406-4731
978-9949-23-333-5
2012
126
Ilmunud
2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);
Teadmata

Viited terviktekstile