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

Search Results

Help

Item hits: (Results 1-2 of 2)

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

 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, 待填, 2002-7-1
Guoqiang Shu; Chao Li; Qing Wang; Li Mingshu
  |  
 

1

 

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