Dynamic Control Flow Checking Technique for Reliable Microprocessors.

Makoto Sugihara

Published in: DSD (2010)

Keyphrases

control flow
data flow
software testing
information systems
process model
workflow management systems
transition systems
petri net
dynamically changing
reactive systems