QQ客服 官方微博 反馈留言

	UML2．0的形式化语义研究
	张广泉[1,2]; 戎玫[3]; 黄正宝[1]
	2007
卷号	27期号:[db:dc_citation_issue]页码:39
关键词	线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E
DOI	[db:dc_identifier_doi]
URL标识	查看原文
WOS记录号	[db:dc_identifier_wosid]
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3346050
专题	暨南大学
作者单位	1.[1]苏州大学计算机科学与技术学院,江苏苏州215006 2.[2]重庆师范大学数学与计算机学院,重庆400047 3.[3]暨南大学深圳旅游学院,广东深圳518053
推荐引用方式 GB/T 7714	张广泉[1,2],戎玫[3],黄正宝[1]. UML2．0的形式化语义研究[J],2007,27([db:dc_citation_issue]):39.
APA	张广泉[1,2],戎玫[3],&黄正宝[1].(2007).UML2．0的形式化语义研究.,27([db:dc_citation_issue]),39.
MLA	张广泉[1,2],et al."UML2．0的形式化语义研究".27.[db:dc_citation_issue](2007):39.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。