QQ客服 官方微博 反馈留言

	时序π演算及其对MARTE顺序图的建模
	金暐 ; 王捍贫 ; 曹永知
	2011
英文摘要	MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.; 0
语种	中文
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/24045]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	金暐,王捍贫,曹永知. 时序π演算及其对MARTE顺序图的建模. 2011-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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