Login / Signup

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants.

Boudewijn F. van DongenMonique H. Jansen-VullersH. M. W. VerbeekWil M. P. van der Aalst
Published in: Comput. Ind. (2007)
Keyphrases
  • state space
  • data analysis
  • reference models
  • database
  • reference model
  • databases
  • artificial intelligence
  • decision making
  • reinforcement learning
  • business intelligence