CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
用优化的正则表达式引擎进行快速网络流分类 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2690-2695
王建敏; 曾凡平; 王健康
收藏  |  浏览/下载：9/0  |  提交时间：2016/12/09
基于余归纳的最小Kripke结构的求解 期刊论文
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华; 蒋颖
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
一种基于项重写的密码模块API安全性检测算法 期刊论文
中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705
刘波; 陈华
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
空间飞行器轨道仿真验证反演方法研究 期刊论文
系统仿真技术, 2013, 卷号: 9, 期号: 3, 页码: 199-205
乔梁; 柳庆武
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
描述CPS物理实体的时空Petri网模型 期刊论文
计算机科学与探索, 2013, 期号: 4, 页码: 377-384
张茗泰; 张广泉; 张侃; 陈名才; 封飞
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/17
一种形式化的组件化软件过程建模方法 期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16
翟健; 杨秋松; 肖俊超; 李明树
收藏  |  浏览/下载：12/0  |  提交时间：2013/10/08
对时间自动机进行空性检测的过程和改进 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
移动对象数据库模型、查询语言及实时交通流分析 期刊论文
软件学报, 2009, 卷号: 20, 期号: 7, 页码: 1866-1884
丁治明
收藏  |  浏览/下载：9/0  |  提交时间：2010/08/19
一种基于离散时间自动机的LTL性质检测工具 期刊论文
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮; 彭云全
收藏  |  浏览/下载：56/2  |  提交时间：2011/06/10
基于时间自动机的测试用例自动生成及执行方法 期刊论文
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟; 陈伟; 赵琛
收藏  |  浏览/下载：10/0  |  提交时间：2010/08/25

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