Nonlinear Codes for Control Flow Checking.

Giorgio Di Natale Osnat Keren

Published in: ETS (2020)

Keyphrases

control flow
data flow
process model
workflow management systems
software testing
transition systems
formal semantics
business process models
error correction
real world
reactive systems
machine learning
artificial intelligence
information systems
modeling language