Login / Signup

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.

Ahlem Ben YounesYousra Bendaly HlaouiLeila Jemni Ben Ayed
Published in: iiWAS (2014)
Keyphrases
  • uml activity diagrams
  • business process models
  • probabilistic model
  • artificial intelligence
  • business process
  • data integration