Login / Signup

Formal Analysis of BPMN Models: a NuSMV-Based Approach.

Vitus S. W. Lam
Published in: Int. J. Softw. Eng. Knowl. Eng. (2010)
Keyphrases
  • formal analysis
  • business process models
  • model driven
  • process model
  • model checking
  • case study
  • expert systems
  • business processes
  • markov decision processes