On the deadlock analysis of multithreaded control software.

Juan-Pablo López-Grao José Manuel Colom

Published in: ETFA (2011)

Keyphrases

control software
statistical analysis
quantitative analysis
automatic analysis
database
data sets
neural network
data mining
three dimensional
multiscale
multi agent systems