UML Statechart图中数据流的语义及验证
UML Statechart도중수거류적어의급험증
Semantics and Verification of Data Flow in UML Statecharts
저자의 최근 논문