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
formal methods - keyword
find full texts
Apply
items found: 4
1.
Methods to Optimize Functional Safety Assessment for Automotive Integrated Circuits. Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
Bağbaba, Ahmet Çağrı
20.04.2022
dissertations
2.
Scheduling in real-time models
Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri
1992
research reports
3.
Models for Monitoring of Technological Processes and Production Systems. Tehnoloogiliste protsesside ja tootmissüsteemide monitooringu mudelid
Otto, Tauno
31.08.2006
dissertations
4.
Model-Based Testing of Real-Time Distributed Systems. Reaalaja hajussüsteemide mudelipõhine testimine
Pal, Deepak
10.12.2020
dissertations
items found: 4
1