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

Search Results

Help

Item hits: (Results 1-10 of 15)

Filters    
Items/Page:    Sort:
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)

 
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
emerald: an automated modeling and verification tool for component-based real-time systems [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Zhang Yizhou; Lin Hao; Li Guoqiang

 
language-theoretic abstraction refinement [会议论文]
15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012
Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland

 
automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver [期刊论文]
International Journal of Software Engineering and Knowledge Engineering, 2011-01-01, 卷号: 21, 期号: 2, 页码: 289-307
Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh

 
a defect typology to support software process verification and validation [学位论文]
, 2008-01-01
Kroeger Trent; Shu Fengdi; Qin Shaowen
  |  
 
broadcast group-oriented encryption for group communication [期刊论文]
Journal of Computational Information Systems, 2007-01-01, 卷号: 3, 期号: 1, 页码: 63-71
Ma Chunbo; Mei Qixiang; Li Jianhua
  |  
 
基于DTE策略的安全域隔离Z形式模型 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 11, 页码: 1881-1888
卿斯汉; 李丽萍; 何建波; 沈晴霓
  |  
 
modeling and analysis of real-time cooperative systems using petri nets [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007-01-01, 卷号: 37, 期号: 5, 页码: 643-654
Du YuYue; Jiang ChangJun; Zhou MengChu
  |  
 

1 2 next

 

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