C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalizing and verifying stochastic system architectures using Monterey Phoenix.
Songzheng Song
Jiexin Zhang
Yang Liu
Mikhail Auguston
Jun Sun
Jin Song Dong
Tieming Chen
Published in:
Softw. Syst. Model. (2016)
Keyphrases
</>
monte carlo
model checking
stochastic optimization
database
computer vision
stochastic process
stochastic nature
real time
machine learning
decision making
bayesian networks
lower bound
stochastic model
stochastic models