多行为活性规则相关硕士博士期刊学术论文 - 搜论网

多行为活性规则相关论文

基于行为时序逻辑TLA的系统、规则与协议检测的研究

为了保证软、硬件系统的可靠安全,包括图灵奖得主A.PnDeli在内的许多计算机科学家都认为,采用形式化方法（Formal Methods）对系统进行......

学位

模型检测行为时序逻辑转移系统多行为活性规则网络协议检测

看过本文同时还关注