Login / Signup
Investigating the structural properties of ER-ES PN model to define liveness of the system.
Sayali Deshmukh
Kishan Sarda
Sarang Sutavani
Sushama Wagh
Published in:
ECCTD (2017)
Keyphrases
</>
structural properties
probabilistic model
high level
statistical model
data sets
case study
formal model
database
neural network
information retrieval
decision making
reinforcement learning
probability distribution
em algorithm
theoretical analysis
simulation model