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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
bounded semantics of ctl and sat-based verification [学位论文]
, 2009-01-01
Zhang Wenhui

 
model checking with sat-based characterization of actl formulas [会议论文]
9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL, NOV 14-15,
Zhang Wenhui
  |  
 
user-defined atomicity constraint: a more flexible transaction model for reliable service composition [会议论文]
8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, PEOPLES R CHINA, NOV 01-03,
Ding Xiaoning; Wei Jun; Huang Tao
  |  
 
program verification through computer algebra [会议论文]
8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, PEOPLES R CHINA, NOV 01-03,
Zhou Chaochen
  |  
 
declarative performance modeling for component-based system using uml profile for schedulability, performance and time [会议论文]
4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15,
Zhang Yong; Huang Tao; Wei Jun
  |  
 
declarative performance modeling for component-based system using uml profile for schedulability, performance and time [会议论文]
4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15,
Zhang Yong; Huang Tao; Wei Jun
  |  
 
path-oriented test data generation using symbolic execution and constraint solving techniques [会议论文]
2nd International Conference on Software Engineering and Formal Methods, Beijing, PEOPLES R CHINA, SEP 28-30,
Zhang J; Xu C; Wang XL
  |  
 
modelling real-time systems with continuous-time temporal logic [会议论文]
4th International Conference on Formal Engineering Methods (ICFEM 2002), SHANGHAI, PEOPLES R CHINA, OCT 21-25,
Li GY; Tang ZS

 

1

 

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