Login / Signup
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
Marjan Sirjani
Amin Shali
Mohammad Mahdi Jaghoori
Hamed Iravanchi
Ali Movaghar
Published in:
ACSD (2004)
Keyphrases
</>
probabilistic model
statistical models
data mining
machine learning
bayesian networks
data model
d objects
model selection
machine learning algorithms
statistical model
mathematical models
parametric models
modeling tool
automated tools