Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis.

Kai Kapp Viktor K. Sabelfeld

Published in: MBMV (2004)

Keyphrases

control flow
data flow
reactive systems
software testing
scheduling problem
scheduling algorithm
process model
workflow management systems
formal specification
high level
expert systems
knowledge management
open source
formal methods
artificial intelligence
business process models
transition systems