title
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine
Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
author
Jain, Shobit
keywords
ajaga automaatide
vahelise teisenduse realiseerimine
teisenduse
reaalajas süsteemid
kontrollimine
valideerimine
IVSM
Event-B
iUML-B
UPPAAL
timed Automata
real-time systems
model transformation
verification
validation
magistritööd
master's theses
supervisor
Tsiopoulos, Leonidas
defence date
18.01.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 Science