Login / Signup

A framework for performance evaluation and functional verification in stochastic process algebras.

Hossein HojjatMohammad Reza MousaviMarjan Sirjani
Published in: SAC (2008)
Keyphrases
  • stochastic process
  • functional verification
  • stochastic processes
  • image processing
  • real time
  • image segmentation
  • kalman filter