An Optimized Timing and Control Flow Checker for Hard Real-Time Systems.

Julian Wolf Theo Ungerer

Published in: ARCS Workshops (2013)

Keyphrases

control flow
data flow
process model
software testing
transition systems
workflow management systems
formal semantics
reactive systems
business process models
modeling language
learning algorithm
memory hierarchy
business process