基于TCSP的实时并发系统测试方法
기우TCSP적실시병발계통측시방법
Novel method for test of real-time concurrent systems based on TCSP
저자의 최근 논문