安全关键软件安全性评估方法
안전관건연건안전성평고방법
An Overview of Assessment Methods of Safety-critical Software
저자의 최근 논문