基于事件集的反应系统模型的验证
기우사건집적반응계통모형적험증
Verification of model for reactive systems based-on event set
저자의 최근 논문