当前位置:
X-MOL 学术
›
IEEE Trans. Softw. Eng.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
IEEE Transactions on Software Engineering ( IF 7.4 ) Pub Date : 2024-04-23 , DOI: 10.1109/tse.2024.3392720 Hao Bu 1 , Meng Sun 1
中文翻译:
用于高效统计模型检查估计的 Clopper-Pearson 算法
更新日期:2024-04-23
IEEE Transactions on Software Engineering ( IF 7.4 ) Pub Date : 2024-04-23 , DOI: 10.1109/tse.2024.3392720 Hao Bu 1 , Meng Sun 1
Affiliation
中文翻译:
用于高效统计模型检查估计的 Clopper-Pearson 算法