C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
COFIE: a regex-like interaction and control flow description.
Leandro Batista Ribeiro
Marcel Baunach
Published in:
ICPS (2019)
Keyphrases
</>
control flow
data flow
software testing
process model
human computer interaction
high level
memory hierarchy
business process models
workflow management systems
formal semantics
reactive systems
transition systems
database
machine learning
modeling language