2 search results - page 1 / 1 » Selective Quantitative Analysis and Interval Model Checking:... |
68
Voted
FMSD
2000
14 years 11 months ago
2000
107
click to vote
CMSB
2006
Springer
15 years 3 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...