Login / Signup

Formal Analysis of Problem Domain Workflows.

Uldis Donins
Published in: DB&IS (2012)
Keyphrases
  • formal analysis
  • formal methods
  • domain independent
  • domain specific
  • ban logic
  • agent model
  • business process
  • workflow management