C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fault coverage of a timing and control flow checker for hard real-time systems.
Julian Wolf
Bernhard Fechner
Theo Ungerer
Published in:
IOLTS (2012)
Keyphrases
</>
control flow
data flow
software testing
process model
workflow management systems
transition systems
data sets
knowledge base
reactive systems
business process models
database
real world
information systems
feature space
open source
software development