模糊迁移系统相关硕士博士期刊学术论文 - 搜论网

模糊迁移系统相关论文

模糊迁移系统的近似互模拟研究

模态逻辑和行为等价在并发系统的规约和验证中起着重要作用。前者可用于模型检查,特别是用于指定要验证的属性。后者可用于状态聚......

学位

互模拟模糊迁移系统剩余格模糊相似性测度粗糙集

模糊互模拟等价验证算法的研究

随着时代的不断发展,计算机软硬件系统的复杂度不断提高,形式化验证在计算机科学中的应用也越来越广泛。互模拟作为软件形式化验证......

学位

模糊集模糊迁移系统模糊互模拟等价全局算法局部算法

看过本文同时还关注