The Method of Formalize the Time-extended UML Statechart of Embedded System Modeling

• 嵌入式建模中带有时间扩展的UML状态图的形式化方法