登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

超协调时序逻辑及其模型检测方法
出版年：2006
作者：陈冬火
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

扩展时序协作逻辑的模型检测方法研究
  • 作者：纪玮
  • 出版年：2016
...

基于Petri网的计算树逻辑模型检测
  • 作者：刘关俊
  • ISBN：9787030772848
  • 出版社：科学出版社
  • 出版年：2024
...

时序逻辑博弈问题的必胜策略检测
  • 作者：梁虹
  • 出版社：中国科学院
  • 出版年：2012
...

民族院校学科专业设置演化逻辑及对策建议——基于高等教育三角协调模型
  • 作者：朴美仙
  • 出版社：中国科学院大学公共与政策管理学院
  • 出版年：2023
...

限界模型检测方法及其应用
  • 作者：徐亮
  • 出版社：中国科学院
  • 出版年：2009
...

基于TL-EPVM模型的加密协议分析基于时序逻辑的加密协议描述与验证
  • 作者：肖得琴
  • 出版社：中国科学院
  • 出版年：1999