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
ajaga automaatide
vahelise teisenduse realiseerimine
teisenduse
reaalajas süsteemid
Event-B
iUML-B
timed Automata
model transformation
supervisor
Tsiopoulos, Leonidas
defence date
language