基于区间时序逻辑的验证技术研究与应用

基于区间时序逻辑的验证技术研究与应用

出版社：中国科学院

出版年：2012

作者：杨潇潇

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

时序逻辑电路的形式验证方法研究

作者：吕毅
出版年：2000

多智能体自动机及其在时序认知逻辑验证问题上的应用

作者：高雅
出版社：中国科学院软件研究所
出版年：2022

基于MARTE的时序需求建模与分析验证技术研究

作者：徐嘉
出版社：中国科学院国家空间科学中心
出版年：2022

基于时序逻辑的围术期医疗数据治理方法研究及应用

作者：曹洁
出版社：中国科学院重庆绿色智能技术研究院
出版年：2022

在时序逻辑语言中设计和验证分布式程序的方法

作者：周盛宗
出版年：1985

基于时序逻辑的Resolution自动定理证明方法

作者：章岚
ISBN：9787563832668
出版社：首都经济贸易大学出版社
出版年：2021