2 search results - page 1 / 1 » Selective Quantitative Analysis and Interval Model Checking:... |
94
Voted
CMSB
2006
Springer
15 years 1 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...