基于接口自动机的列车通信设备测试用例生成
기우접구자동궤적열차통신설비측시용례생성
Test Case Generation for Train Communication Devices Based on Interface Automata
저자의 최근 논문