Publication | Closed Access
Numerical vs. statistical probabilistic model checking
209
Citations
28
References
2006
Year
EngineeringUncertainty QuantificationAutomated ReasoningProbabilistic VerificationVerificationFormal MethodsStatistical Probabilistic ModelComputer ScienceModel CheckingModel VerificationFormal VerificationStatistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1