Login / Signup

Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis.

Kai KappViktor K. Sabelfeld
Published in: DAC (2004)
Keyphrases
  • control flow
  • data flow
  • reactive systems
  • software testing
  • scheduling problem
  • process model
  • business process models
  • artificial intelligence
  • high level
  • scheduling algorithm
  • data sets
  • real world
  • transition systems