中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	model checking a secure hypervisor [会议论文] , Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang \|
	distinguishing between automatic and manual aspects of model driven development [会议论文] 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu \|
	distinguishing between automatic and manual aspects of model driven development [会议论文] 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu \|
	a metamodel based model transformation approach [会议论文] 3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13, Duan YC; Cheung SC; Fu XL; Gu YQ \|
	validating objected-oriented prototype of real-time systems with timed automata [会议论文] 13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03, Shu GQ; Li C; Wang Q; Li MS \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In