中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共11条，第1-10条

帮助

条数/页：排序方式：
	公平性约束下基于抽象和推理的活性验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 龙腾 \| 收藏 \|
	循环不变式开发技术研究期刊论文 OAI收割计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平 \| 收藏 \|
	对时间自动机进行空性检测的过程和改进期刊论文 OAI收割计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯收藏 \|
	多线程版本的串口读写技术研究会议论文 OAI收割第三届全国虚拟仪器大会, 中国广西桂林, 2008-12-01 刘阳; 李孝辉收藏 \|
	基于整数时间的实时系统符号化模型检测技术学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 晏荣杰收藏 \|
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \|
	形式化方法B及其程序规约机理期刊论文 OAI收割计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50 肖美华; 薛锦云 \| 收藏 \|
	运用ASM描述安全协议期刊论文 OAI收割中国科学院研究生院学报, 2002, 卷号: 19, 期号: 3, 页码: 263-270 薛锐; 冯登国 \| 收藏 \|
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \|