位置：成果数据库 > 会议 > 会议详情页
Support Formal Component-based Development with UML Profile.
  • 所属机构名称：同济大学
  • 会议名称：Australian Software Engineering Conference 2013:
  • 时间：2013.6.6
  • 成果类型：会议
  • 相关项目：基于构件的异构嵌入式系统的模型驱动设计
作者： Dan Li, Xiaoshan Li, Zhiming Liu and Volker Stolz.|
同会议论文项目
基于构件的异构嵌入式系统的模型驱动设计
期刊论文 1 会议论文 2
同项目会议论文
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66