基于时间Statecharts的面向方面嵌入式系统设计方法基于時間Statecharts的麵嚮方麵嵌入式繫統設計方法 기우시간Statecharts적면향방면감입식계통설계방법 Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts
万方数据
中国通信中國通信중국통신 CHINA COMMUNICATIONS 2013年9期33-42,共10页
文欣秀%虞慧群%郑红文訢秀%虞慧群%鄭紅
문흔수%우혜군%정홍
embedded systems%model checking%timed statecharts%computation tree logic
