Hierarchical control flow matching for source-level simulation of embedded software.

Kun Lu Daniel Müller-Gritschneder Ulf Schlichtmann

Published in: ISSoC (2012)

Keyphrases

control flow
embedded software
data flow
embedded systems
development projects
case study
database
real world
modeling language
software testing
artificial intelligence
web services
information technology
knowledge representation
process model
active rules