基于时间区间时序逻辑的实时系统统一模型检测
기우시간구간시서라집적실시계통통일모형검측
Model Checking Real-Time Systems within Unified Approach of Timed Interval Temporal Logic
저자의 최근 논문