Login / Signup
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).
Songzheng Song
Yang Liu
Mikhail Auguston
Jun Sun
Jin Song Dong
Tieming Chen
Published in:
MoDELS (2015)
Keyphrases
</>
high level
monte carlo
learning automata
neural network
low level
higher level
stochastic nature
database
decision making
image sequences
data structure
stochastic model
stochastic processes
markov processes
stochastic models