Login / Signup

Hybrid Control-Flow Checking with On-Line Statistics.

Maro DuricekTibor Krajcovic
Published in: ECBS-EERC (2015)
Keyphrases
  • control flow
  • data flow
  • software testing
  • process model
  • transition systems
  • reactive systems
  • business process models
  • machine learning
  • modeling language
  • formal semantics
  • e learning
  • process mining