Login / Signup

PRISM Code Generation for Verification of Mediator Models (S).

Weidi SunMeng Sun
Published in: SEKE (2019)
Keyphrases
  • code generation
  • model driven
  • user interface
  • model checking
  • black box
  • application development