Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
verification - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 12
1.
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Ernits, Juhan-Peep
29.11.2007
doktoritööd
2.
On the Use of Defensive Schemes for Hardware Security. Kaitseskeemid riistvara turvalisuse tagamiseks
Eslami, Mohammad
04.10.2024
doktoritööd
3.
Mutation-Based Verification and Error Correction in High-Level Designs. Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
Hantson, Hanno
12.11.2015
doktoritööd
4.
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine. Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
Jain, Shobit
18.01.2021
magistritööd
5.
Aminohapete määramise komplekti koostamine ja metoodika osaline valideerimine. Compilation of amino acid analysis kit and the verification of methodology
Lakspere, Ann
07.06.2017
magistritööd
6.
Stateflow mudelite teisendamine Uppaal'i mudeliteks. Conversion from Stateflow to Uppaal model
Mikava, Mariam
31.05.2021
magistritööd
7.
Põlevkivi kuumtöötlemise õlidele EVS-EN ISO 3104:2020 standardi kehtestamine ja täpsuskriteeriumide määramine. Enforcement of the EVS-EN ISO 3104:2020 standard for oils of oil shale thermal processing and determination of accuracy criteria
Mošnikova, Svetlana
01.06.2022
magistritööd
8.
SOLAS Konteineri kaalu kinnitamise nõue ning selle rakendamine liiniveofirmas American President Lines. SOLAS Container Weight Verification Requirement and its implication in the shipping company American President Lines
Rudak,Martin
29.05.2017
diplomitööd
9.
Raudtee vastavustõendamise ja ohutuse hindamise protsess raudteerajatiste ehitustööde ajal ning kasutusloa taotlemisel Euroopa Liidu riikide näitel ja selle rakendamine Eesti ehitussektoris. The process of verification and safety assesment during the construction works and application for the authorisation of use of railway structures and its implementation in the Estonian construction industry
Suurorg, Silver
30.05.2022
magistritööd
10.
Hindamismeetod nutikodu ja targavõrgu autentimisprotokollide. Evaluation Method for Smart Home and Smart Grid Authentication Protocols
Uku, Marvin
02.06.2020
magistritööd
11.
Vees metallide sisalduse määramise elektrotermilise aatomabsortsioonispektromeetria meetodi verifikatsioon. Verification of the method for determining the metal content in water with electrothermal atomic absorption spectrometry
Volkova, Ksenia
09.06.2021
diplomitööd
12.
7
th
Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2012 : Tallinn, Estonia, 31 March 2012 : Proceedings
2012
konverentsikogumikud
Kirjeid leitud: 12
1