On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.

Mandy Weißbach Wolf Zimmermann

Published in: ESOCC (2017)

Keyphrases

neural network
high level
learning algorithm
trade off
automatic analysis
case study
wide range
data model
mobile robot
query language
quantitative analysis