Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Stateflow mudelite teisendamine Uppaal'i mudeliteks
Conversion from Stateflow to Uppaal model
autor
Mikava, Mariam
märksõnad
mudelid
Uppaal
Stateflow
kontroll
verifitseerimine
teisendused
software engineering
model-checking
verification
model translation
magistritööd
master's theses
juhendaja
Näks, Tõnu
õppekava
IVSM Software Engineering
kaitsmiskuupäev
31.05.2021
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technology
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Engineering
Laadi alla
pdf
1,52 MB