初始规则集相关硕士博士期刊学术论文 - 搜论网

初始规则集相关论文

密码协议形式化分析中的逻辑规则精简

针对密码协议形式化分析中初始规则集过大且不易收敛的问题,给出一种基于先验知识集进行逻辑规则精简的方法。在初始规则迭代过程......

期刊

形式化验证初始规则集规则蕴含规则合一化 formal verification tools initial rules sets implicatio

看过本文同时还关注