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
real-time systems - keyword
find full texts
Apply
items found: 4
1.
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
2.
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine. Optimisation and implementation of distributed tester generation algorithm
Jakobson, Henri
07.06.2022
bachelor's theses
3.
System-Level Design of Timing-Sensitive Network-on-Chip Based Dependable Systems. Kiipvõrkudel põhinevate ajakriitiliste ja töökindlate süsteemide kõrgtaseme disain
Tagel, Mihkel
14.05.2012
dissertations
4.
Tools and techniques for event log analysis
Vaarandi, Risto
2005
dissertations
items found: 4
1