C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Control-flow checking using watchdog assists and extended-precision checksums.
Nirmal R. Saxena
Edward J. McCluskey
Published in:
FTCS (1989)
Keyphrases
</>
control flow
data flow
process model
software testing
high precision
workflow management systems
transition systems
decision making
formal semantics
business process models
decision trees
modeling language
reactive systems