pealkiri
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine
Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
autor
Jain, Shobit
märksõnad
ajaga automaadid
vahelise teisenduse realiseerimine
teisenduse
reaalajas süsteemid
kontrollimine
valideerimine
IVSM
Event-B
timed automatas
iUML-B
UPPAAL
real-time systems
model transformation
verification
validation
magistritööd
master's theses
juhendaja
Tsiopoulos, Leonidas
kaitsmiskuupäev
18.01.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 Science