Login / Signup
A framework for performance evaluation and functional verification in stochastic process algebras.
Hossein Hojjat
Mohammad Reza Mousavi
Marjan Sirjani
Published in:
SAC (2008)
Keyphrases
</>
stochastic process
functional verification
stochastic processes
image processing
real time
image segmentation
kalman filter