机译:基于模型检查线性时间逻辑的UDPStorm攻击检测
College of Information Science and Technology Henan University of Technology;
School of Information Engineering Zhengzhou University;
School of Information Engineering Zhengzhou University;
College of Information Science and Technology Henan University of Technology;
linear temporal logic; model checking; intrusion detection; Udpstorm attacks;
机译:基于模型检查线性时间逻辑的UDPStorm攻击检测
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:局部公平下的重写公式线性时态逻辑模型检验
机译:基于线性时间逻辑的约束工作流模型检查
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:基于BDD相对于SAT的有界模型检验知识的线性时态逻辑存在性片段:算法及其性能
机译:具有公平约束的petri网线性时态逻辑性质模型检验。