2 search results - page 1 / 1 » Tank monitoring: a pAMN case study |
72
Voted
FAC
2006
15 years 1 months ago
2006
115
Voted
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...