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
Näks, Tõnu - supervisor
find full texts
Apply
items found: 5
1.
Juhtimissüsteemi projekteerimine SysML’i ja Simulink’iga. Designing a Control System with SysML and Simulink
Antonis, Alex
31.05.2019
bachelor's theses
2.
SPARK’i avaldiste teisendamine Simulink diagrammideks. Converting SPARK Expressions to Simulink Diagrams
Holvason, Roman
07.06.2019
bachelor's theses
3.
Stateflow mudelite teisendamine Uppaal'i mudeliteks. Conversion from Stateflow to Uppaal model
Mikava, Mariam
31.05.2021
master's theses
4.
Olekuskeemide kasutamine ettevõtteinfosüsteemis - juhtumianalüüs. Applying Statecharts in Enterprise Information System. A Case Study
Salmistu, Aksel
22.01.2020
master's theses
5.
Mudeliteisendused kahe olekumasina keele vahel - SDL ja Stateflow. Transformations Between Two State Machine Dialects - SDL and Stateflow
Uddin, Kazi Taher
30.05.2018
master's theses
items found: 5
1