2 search results - page 1 / 1 » Selective Quantitative Analysis and Interval Model Checking:... |
FMSD
2000
13 years 10 months ago
2000
CMSB
2006
Springer
14 years 2 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...