CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
时间敏感网络流量调度算法研究 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2021
作者:  李庆
收藏  |  浏览/下载：22/0  |  提交时间：2021/06/12
线性析取约束优化算法理论与应用研究 学位论文
博士, 北京: 中国科学院大学, 2019
作者:  吕荫润
收藏  |  浏览/下载：43/0  |  提交时间：2019/06/12
基于时间自动机的嵌入式软件压缩与验证 期刊论文
计算机工程与设计, 2016, 卷号: 37, 页码: 1217-1223
作者:  任龙涛;  张超;  崔磊;  魏理豪;  周宽久
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/09
基于 Craig 插值的线性混成系统符号化模型检测 期刊论文
电子学报, 2014, 卷号: 42, 页码: 1338-1346
作者:  Chen, Zu-Xi[1];  Xu, Zhong-Wei[2];  Huo, Wei-Wei[3];  Yu, Gang[4]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30
基于时间Petri网的嵌入式系统中断建模与验证 期刊论文
计算机科学, 2014, 卷号: 41, 页码: 205-209,219
作者:  周宽久;  常军旺;  侯刚;  任龙涛;  王小龙
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/09
基于限界模型检查的Web服务行为失配检测 期刊论文
2012, 卷号: 39, 期号: 6, 页码: 129
作者:  戎玫[1];  陈圣标[2];  张广泉[2,3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17
RTL验证中的混合可满足性求解 会议论文
第四届中国测试学术会议论文集, 第四届中国测试学术会议, 中国河北秦皇岛北戴河, CNKI, 中国计算机学会容错计算专业委员会
邓澍军; 吴为民; 边计年; Deng Shujun; Wu Weimin; Bian Jinian
收藏  |  浏览/下载：3/0
RTL验证中的混合可满足性求解 期刊论文
2010, 2010
邓澍军; 吴为民; 边计年; Deng Shujun; Wu Weimin; Bian Jinian
收藏  |  浏览/下载：1/0

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