Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Uppaali mudelite bisimilaarsuse verifitseerimine
Bisumulation Verifacation of Uppaal Models
autor
Alizai, Naveed Ahmed
märksõnad
tarkvaratehnika
software engineering
magistritööd
master's theses
juhendaja
Vain, Jüri
õppekava
IVSM Software Engineering
kaitsmiskuupäev
18.08.2020
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technology
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science
Laadi alla
pdf
3,43 MB