Cell Assisted APMC
暂无分享,去创建一个
[1] Marta Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004 .
[2] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[3] Akim Demaille,et al. Modeling of Sensor Networks Using XRM , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[4] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[5] Thomas Hérault,et al. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[6] Marta Z. Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..