基于有限状态机的协议测试方法
기우유한상태궤적협의측시방법
저자의 최근 논문