Decomposition-based Verification of Global Compliance in Process Choreographies.

Walid Fdhila Stefanie Rinderle-Ma David Knuplesch Manfred Reichert

Published in: EDOC (2020)

Keyphrases

neural network
data sets
case study
real time
databases
search engine
image processing
multi agent
multiresolution
hidden markov models
model checking
development process
global information