CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
面向任务的群机器人系统分层自组织规划研究 学位论文
博士: 中国科学院沈阳自动化研究所, 2016
作者:  冷雨泉
收藏  |  浏览/下载：118/0  |  提交时间：2016/12/15
通道幅相不一致对SFAP性能影响的分析 期刊论文
2016, 2016
许海龙; 庄学彬; 崔晓伟; 陆明泉; XU Hailong; ZHUANG Xuebin; CUI Xiaowei; LU Mingquan
收藏  |  浏览/下载：8/0
一种多敏感空指针引用错误的静态检测方法 期刊论文
2016, 2016
白杨; 王瑀屏; Bai Yang; Wang Yuping
收藏  |  浏览/下载：2/0
MODBUS通讯协议参数的确定方法 期刊论文
2016, 2016
刘学平; 李国诚; 章磊; LIU Xue-ping; LI Guo-cheng; ZHANG Lei
收藏  |  浏览/下载：3/0
动静结合的整数溢出漏洞分析方法 期刊论文
2016, 2016
戚兰兰; 温江涛; 陈渝; 肖奇学; QI Lanlan; WEN Jiangtao; CHEN Yu; XIAO Qixue
收藏  |  浏览/下载：3/0
官僚组织间关系与政策的象征性执行——以重大决策社会稳定风险评估制度为讨论中心 Inter-bureaucracy Relationship and Symbolic Execution of Policies --Discussion Centered on Evaluation Policy for Social Stability Risks of Major Decisions 期刊论文
2016, 卷号: 0, 页码: 70-75
作者:  田先红[1];  罗兴佐[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/11/28
Towards Concolic Testing for Hybrid Systems 其他
2016-01-01
Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation 其他
2016-01-01
Zhang, Jie; Lou, Yiling; Zhang, Lingming; Hao, Dan; Zhang, Lu; Mei, Hong
收藏  |  浏览/下载：17/0  |  提交时间：2017/12/03
Improving scalability of compositional symbolic execution through parameterized summary 期刊论文
Journal of Computers (Taiwan), 2016, 卷号: 26, 期号: 4
作者:  Xue, Tong;  Ying, Shi;  Jia, Xiang-Yang
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
Buffer overflow detection in C code using dynamic symbolic execution 期刊论文
Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2016, 卷号: 39, 页码: 50-54
作者:  Zhang, Jun-Xian;  Li, Zhou-Jun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30

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