Login / Signup

A probabilistic method for business process verification: Reachability, Liveness and deadlock detection.

Mohamed NaoumOutman El HichamiMohammed Al AchhabBadr Eddine El Mohajir
Published in: CIST (2016)
Keyphrases
  • business process
  • business processes
  • database
  • intrusion detection
  • process model
  • deadlock detection
  • ws bpel