Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
title
Uppaali mudelite bisimilaarsuse verifitseerimine
Bisumulation Verifacation of Uppaal Models
author
Alizai, Naveed Ahmed
keywords
tarkvaratehnika
software engineering
magistritööd
master's theses
supervisor
Vain, Jüri
study program
IVSM Software Engineering
defence date
18.08.2020
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technology
department / college
Tarkvarateaduse instituut
Department of Software Science
Download
pdf
3,43 MB