A Pattern-based deadlock-freedom analysis strategy for concurrent systems.

Pedro Antonino Augusto Sampaio Jim Woodcock

Published in: CoRR (2022)

Keyphrases

concurrent systems
artificial neural networks
statistical analysis
data sets
machine learning
computer vision
image analysis
genetic algorithm
information systems
website
decision trees
multiresolution
hidden markov models