Login / Signup

Formal Analysis of BPMN Models Using Event-B.

Jeremy W. BryansWei Wei
Published in: FMICS (2010)
Keyphrases
  • formal analysis
  • business process models
  • business processes
  • business process
  • model driven
  • formal methods
  • probabilistic model
  • complex systems
  • statistical models
  • event detection
  • temporal sequences