QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Flow-insensitive type qualifier inference on programming languages allowing type casts 期刊论文 Computer Modelling and New Technologies, 2014, 卷号: 18, 期号: 2, 页码: 120-125 Li, Huisong (1) 收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 Super-dense computation in verification of hybrid CSP processes 会议论文 10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013 Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2) 收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 Hybrid system  Differential invariant  Hybrid CSP  Duration Calculus  Super-dense computation  Hybrid Hoare logic   QBF encoding of temporal properties and QBF-based verification 会议论文 7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014 Zhang, Wenhui (1) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Efficient texture synthesis of aggregate solid material 会议论文 Shu, Yue (1); Qian, Yinling (3); Sun, Hanqiu (3); Chen, Yanyun (1) 收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 Aggregate material  Solid texture  Cellular texture  Stereology   Formal verification of a descent guidance control program of a lunar lander 会议论文 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3) 收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   Clausal presentation of theories in deduction modulo 期刊论文 Journal of Computer Science and Technology, 2013, 卷号: 28, 期号: 6, 页码: 1085-1096 Gao, Jian-Hua (1) 收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16 resolution  deduction modulo  cut free proof  clause