Login / Signup

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.

Mandy WeißbachWolf Zimmermann
Published in: ESOCC Workshops (2018)
Keyphrases
  • neural network
  • probabilistic model
  • statistical analysis
  • data mining
  • decision making
  • pattern recognition
  • computational complexity
  • quantitative analysis