QQ客服 官方微博 反馈留言

	基于时序逻辑的UML2．0通信图语义研究
	张姝[1,2]; 戎玫[3]; 张广泉[1]
	2008
卷号	29期号:21页码:5601
关键词	UML2.0 通信图 时序逻辑 形式化语法 形式化语义 XYZ/E
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/4455155
专题	暨南大学
作者单位	1.[1]苏州大学计算机科学与技术学院,江苏苏州215006 2.[2]云南师范大学档案馆,云南昆明650092 3.[3]暨南大学深圳旅游学院,广东深圳518053
推荐引用方式 GB/T 7714	张姝[1,2],戎玫[3],张广泉[1]. 基于时序逻辑的UML2．0通信图语义研究[J],2008,29(21):5601.
APA	张姝[1,2],戎玫[3],&张广泉[1].(2008).基于时序逻辑的UML2．0通信图语义研究.,29(21),5601.
MLA	张姝[1,2],et al."基于时序逻辑的UML2．0通信图语义研究".29.21(2008):5601.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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