位置：成果数据库 > 会议 > 会议详情页
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66
  • 所属机构名称：同济大学
  • 会议名称：Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
  • 时间：2012.7.7
  • 成果类型：会议
  • 相关项目：基于构件的异构嵌入式系统的模型驱动设计
作者： Ziwei Liu, Jing Liu, Jifeng He, Miaomiao Zhang|
同会议论文项目
基于构件的异构嵌入式系统的模型驱动设计
期刊论文 1 会议论文 2
同项目会议论文
Support Formal Component-based Development with UML Profile.