An Abstract Framework for Deadlock Prevention in BIP.

Paul C. Attie Saddek Bensalem Marius Bozga Mohamad Jaber Joseph Sifakis Fadi A. Zaraket

Published in: FMOODS/FORTE (2013)

Keyphrases

theoretical framework
case study
wide range
probabilistic model
data mining
information systems
digital libraries
preprocessing
bayesian framework
conceptual framework
computational framework