OSEK/VDX OS服务调用的规范一致性检测方法
OSEK/VDX OS복무조용적규범일치성검측방법
Checking method of system service call conformance in OSEK/VDX OS
저자의 최근 논문