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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	An Approach to Checking Consistency between UML Class Model and Its Java Implementation [期刊论文] IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 4, 页码: 322-344 Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY \|
	symbolic model checking of finite precision timed automata [会议论文] 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS \|
	translating a continuous-time temporal logic into timed automata [会议论文] 1st Asian Symposium on Programming Languages and Systems, BEIJING, PEOPLES R CHINA, NOV 27-29, Li GY; Tang ZS \|
	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
	scheduling railway freight cars [期刊论文] KNOWLEDGE-BASED SYSTEMS, 2001-01-01, 卷号: 14, 期号: 5-6, 页码: 289-297 Geng GY; Li LX


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