Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
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 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
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
Laadi alla
pdf
1,54 MB