已选(0)清除
条数/页: 排序方式:
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文 硕士, 北京: 中国科学院研究生院, 2010 部德振
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2010/06/08
|
| 时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 魏绪凯
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:17/0  |  提交时间:2009/06/14 |
| 实时系统非空性模型检测工具及技术 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 彭云全
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2011/03/17
|
| 论语言符号动机性的磨失 期刊论文 2008, 期号: 3, 页码: 70 作者: 陈元骊[1]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/26
|
| 基于时间模型的实时系统测试方法研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2006 陈伟
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:16/0  |  提交时间:2011/03/17
|