Sign in

Decomposition-based Verification of Global Compliance in Process Choreographies.

Walid FdhilaStefanie Rinderle-MaDavid KnupleschManfred 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