一种基于模型的并发系统测试目的描述
일충기우모형적병발계통측시목적묘술
Test purpose description for model-based testing of concurrent systems
저자의 최근 논문