2 search results - page 1 / 1 » Selective Quantitative Analysis and Interval Model Checking:... |
CMSB
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...