Login / Signup
PRISM Code Generation for Verification of Mediator Models (S).
Weidi Sun
Meng Sun
Published in:
SEKE (2019)
Keyphrases
</>
code generation
model driven
user interface
model checking
black box
application development