Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
title
Stateflow mudelite teisendamine Uppaal'i mudeliteks
Conversion from Stateflow to Uppaal model
author
Mikava, Mariam
keywords
mudelid
Uppaal
Stateflow
kontroll
verifitseerimine
teisendused
software engineering
model-checking
verification
model translation
magistritööd
master's theses
supervisor
Näks, Tõnu
study program
IVSM Software Engineering
defence date
31.05.2021
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technology
department / college
Tarkvarateaduse instituut
Department of Software Engineering
Download
pdf
1,52 MB