title
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine
Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
author
Jain, Shobit
keywords
vahelise teisenduse realiseerimine
teisenduse
reaalajas süsteemid
Event-B
timed automatas
iUML-B
model transformation
supervisor
Tsiopoulos, Leonidas
defence date
language