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
Event-B
iUML-B
timed Automata
model transformation
juhendaja
Tsiopoulos, Leonidas
kaitsmiskuupäev
keel