最短前缀相关硕士博士期刊学术论文 - 搜论网

最短前缀相关论文

面向复杂随机系统的启发式统计模型检测方法

统计模型检测是一种高效的验证技术，常用于复杂的随机系统验证，如分布式算法等，而在超长路径上对性质进行验证时，其验证效率会急剧降低......

期刊

统计模型检测复杂随机系统超长路径最短前缀启发式算法 PRISM statistical model checking complex stochasti

看过本文同时还关注