Sign in
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development.
Majid Babaei
Mojtaba Bagherzadeh
Juergen Dingel
Published in:
MoDELS (2020)
Keyphrases
</>
reactive systems
execution traces
model driven development
lightweight
distributed systems
relational databases
data driven
model driven
databases
model checking
software design