CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
卫命令模型检测工具的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王绍春
收藏  |  浏览/下载：16/0  |  提交时间：2010/06/07
RFID中间件的事件处理技术研究 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2008
作者:  马纪平
收藏  |  浏览/下载：52/0  |  提交时间：2010/11/29
基于FSM和TA的测试用例自动生成与执行 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
冯东伟
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/17
分布事件通知服务的关键技术及其应用研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
汪洋
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17
一种通用的中间件安全模型 学位论文
2003
作者:  胡红雷
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
LTLC:面向实时与混成系统的连续时序逻辑 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
李广元
收藏  |  浏览/下载：19/0  |  提交时间：2011/03/17
基于有穷状态自动机的嵌入式中断机制研究 学位论文
作者:  石颢[1]
收藏  |  浏览/下载：0/0  |  提交时间：2019/11/30
基于模型检测技术的软件漏洞挖掘 学位论文
作者:  张翀斌
收藏  |  浏览/下载：0/0  |  提交时间：2019/12/20

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