CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
基于Mealy机精化关系的验证算法 期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172
梁虹; 金乃咏
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17
带时间约束的LTL性质的模型检测的实现 期刊论文
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
对时间自动机进行空性检测的过程和改进 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
时间自动机的LTL性质模型检测研究 期刊论文
计算机仿真, 2009, 卷号: 26, 期号: 5
彭云全; 魏绪凯; 李广元
收藏  |  浏览/下载：5/0  |  提交时间：2010/08/26
一种基于离散时间自动机的LTL性质检测工具 期刊论文
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮; 彭云全
收藏  |  浏览/下载：56/2  |  提交时间：2011/06/10
一种基于LTL性质的面向对象并发程序切片方法 期刊论文
2008, 卷号: 28, 期号: 5, 页码: 1300
作者:  戎玫[1];  何志学[2];  张广泉[2,3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/10
时态逻辑形式化描述并发系统性质 期刊论文
海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/29

©版权所有 ©2017 CSpace - Powered by CSpace