Concepts for Autonomous Control Flow Checking for Embedded CPUs.

Daniel Ziener Jürgen Teich

Published in: ATC (2008)

Keyphrases

control flow
data flow
software testing
process model
embedded systems
parallel processing
formal semantics
transition systems
data sets
databases
cooperative
workflow management systems