CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
卫命令模型检测工具的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王绍春
收藏  |  浏览/下载：16/0  |  提交时间：2010/06/07
确定型有穷状态自动机的同态压缩 期刊论文
2010, 卷号: 27, 期号: 4, 页码: 95-99
作者:  文杰
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/02
基于前序关系的非确定型有穷自动机极小化算法 期刊论文
2010, 卷号: 45, 期号: 7, 页码: 34-38
作者:  张明明;  秦永彬
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
RFID中间件的事件处理技术研究 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2008
作者:  马纪平
收藏  |  浏览/下载：52/0  |  提交时间：2010/11/29
汉字手写式键盘输入方法的设计与实现 期刊论文
计算机应用, 2008, 卷号: 第10期, 页码: 2707-2710
作者:  樊庆林;  吴建国;  吴海辉
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/18
有穷自动机状态极小化方法及正则语言判定优化 期刊论文
2008, 卷号: 14, 期号: 3, 页码: 81-84
作者:  王晓峰
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/28
模型检验技术在软件漏洞自动挖掘中的应用 期刊论文
华中科技大学学报. 自然科学版, 2008, 卷号: 36, 期号: 2, 页码: 70-73
作者:  刘晖;  张翀斌;  张晓敏
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/26
基于FSM和TA的测试用例自动生成与执行 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
冯东伟
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/17
非确定型有穷自动机的极小化 期刊论文
2007, 卷号: 45, 期号: 4, 页码: 582-588
作者:  李翰芳;  许道云
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28
一种通用中间件安全模型及形式化描述 期刊论文
计算机工程与科学, 2006, 卷号: 28, 期号: 1
作者:  吴景阳;  毋国庆
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05

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