从形式化式样出发的实时控制软件开发
종형식화식양출발적실시공제연건개발
Real-time Control Software's Programming From Formal Specification
저자의 최근 논문