Login / Signup
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