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
vahelise teisenduse realiseerimine
teisenduse
reaalajas süsteemid
Event-B
timed automatas
iUML-B
model transformation
juhendaja
Tsiopoulos, Leonidas
kaitsmiskuupäev
keel