A Formal Framework for Integrated Environment Modeling Systems

	A Formal Framework for Integrated Environment Modeling Systems
	Zhang, GF; Li, Y; Chen, C; Zhou, R; Chen, D; Zhou, QG
刊名	ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION
	2017-02
卷号	6 期号:1-2
关键词	Integrated Environment Modeling (IEM) formal method operational semantics unified view Finite State Machine (FSM)
ISSN号	2220-9964
通讯作者	Zhou, QG (reprint author), Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China.
学科主题	Physical Geography; Remote Sensing
出版地	BASEL
语种	英语
WOS记录号	WOS:000395483800015
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/189305]
专题	物理科学与技术学院_期刊论文
推荐引用方式 GB/T 7714	Zhang, GF,Li, Y,Chen, C,et al. A Formal Framework for Integrated Environment Modeling Systems[J]. ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION,2017,6(1-2).
APA	Zhang, GF,Li, Y,Chen, C,Zhou, R,Chen, D,&Zhou, QG.(2017).A Formal Framework for Integrated Environment Modeling Systems.ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION,6(1-2).
MLA	Zhang, GF,et al."A Formal Framework for Integrated Environment Modeling Systems".ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION 6.1-2(2017).