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
automaadid (seadmed)
teisendused
reaalajasüsteemid
kontroll
valideerimine
Event-B
timed automatas
iUML-B
UPPAAL
real-time systems
model transformation
verification
validation
magistritööd
master's theses
supervisor
Tsiopoulos, Leonidas
study program
IVSM Software Engineering
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