Mechanized semantics and refinement of UML-Statecharts

著录项

• 来源
  《浙江大学学报（英文版）（C辑：计算机与电子）》 |2017年第11期|1773-1783|共11页
• 作者

  Feng SHENG; Liang DOU; Zong-yuan YANG;

  展开▼
• 作者单位

  Department of Computer Science and Technology East China Normal University Shanghai 200241 China;

  展开▼
• 原文格式 PDF
• 正文语种 eng
• 中图分类 软件工程;
• 关键词