中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
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)

 
Denial-of-service security attack in the continuous-time world [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace