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