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