Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
verification - keyword
find full texts
Apply
items found: 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
dissertations
2.
On the Use of Defensive Schemes for Hardware Security. Kaitseskeemid riistvara turvalisuse tagamiseks
Eslami, Mohammad
04.10.2024
dissertations
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
dissertations
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
master's theses
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
master's theses
6.
Stateflow mudelite teisendamine Uppaal'i mudeliteks. Conversion from Stateflow to Uppaal model
Mikava, Mariam
31.05.2021
master's theses
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
master's theses
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
diploma theses
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
master's theses
10.
Hindamismeetod nutikodu ja targavõrgu autentimisprotokollide. Evaluation Method for Smart Home and Smart Grid Authentication Protocols
Uku, Marvin
02.06.2020
master's theses
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
diploma theses
12.
7
th
Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2012 : Tallinn, Estonia, 31 March 2012 : Proceedings
2012
conference proceedings
items found: 12
1