Assessing the value of incomplete deadlock verification in Model-Driven Engineering.

Felix Cammaerts Monique Snoeck

Published in: ER (Companion) (2023)

Keyphrases

model driven engineering
model driven
model checking
model driven architecture
software engineering
data sets
databases
ami systems
object oriented
data driven