- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Methods and Software Engineering
On the Formal Analysis of HMM Using Theorem Proving
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Article: not found
Downscaling of Daily Rainfall Occurrence over Northeast Brazil Using a Hidden Markov Model
- Record: found
- Abstract: not found
- Book: not found
Markov Chains with Stationary Transition Probabilities
Kai Lai Chung (1960)
- Record: found
- Abstract: not found
- Book: not found
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
J. J. Rutten, Marta Kwiatkowska, Gethin Norman … (2004)