Login / Signup

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics.

Blazo NastovVincent ChapurlatChristophe DonyFrançois Pfister
Published in: CSDM (2014)
Keyphrases
  • systems engineering
  • software engineering
  • knowledge extraction
  • database
  • systems development
  • databases
  • information retrieval
  • model checking