简讯

下载PDF

导出

摘要英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员B．C．Moszkowski教授日前来校讲学访问．来访期间，B．C．Moszkowski教授分别作了题为“用时间倒序转换时序逻辑”、“使用itl和tempura进行组合推理”、“无穷模型下的命题区间时序逻辑的完全公理系统”、“使用时序逻辑分析时序逻辑，基于时序逻辑的分层方法”的专题讲座，并与学校师生就相关问题进行了深入交流．

出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2011年第1期53-53,共1页 Journal of Xidian University

关键词区间时序逻辑计算机科学技术软件技术组合推理公理系统逻辑分析专题讲座分层方法

分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1YANG MengFei,WANG Zheng,PU GeGuang,Qin ShengChao,GU Bin,HE JiFeng.The stochastic semantics and verification for periodic control systems[J].Science China(Information Sciences),2012,55(12):2675-2693.
2严宣辉.基于神经网络与证据组合推理的入侵检测方法[J].福建师范大学学报（自然科学版）,2005,21(1):20-24.
3刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J].通信学报,2003,24(9):122-127. 被引量：2
4朱维军,王迤冉,周清雷.基于PVS的ITL定理证明方法[J].郑州大学学报（理学版）,2009,41(4):31-34. 被引量：1
5刘怡文,李伟琴,冯登国.密码协议的一种安全模型(英文)[J].软件学报,2003,14(6):1148-1156.
6张海宾,段振华.区间时序逻辑的模型检查[J].西安电子科技大学学报,2009,36(2):338-342. 被引量：2
7TIAN Cong,DUAN ZhenHua.Formal verification with projection temporal logic[J].Science Foundation in China,2014,22(2):37-54.
8冯秋然.建立一个更安全的数字世界[J].数字通信世界,2016,0(8):70-70.
9杜世宏.空间关系模糊描述及组合推理的理论和方法研究[J].测绘学报,2005,34(1):92-92.
10伍奎,谢永春,李润方,朱才朝,秦大同.智能化系统的有机组合推理及优化[J].重庆大学学报（自然科学版）,2003,26(6):1-5. 被引量：7

西安电子科技大学学报

2011年第1期

浏览历史

内容加载中请稍等...

简讯

相关作者

相关机构

相关主题

浏览历史