Applied research in formal verification of certificates of airworthiness and aviation software design phase (항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구)
-
- Proceedings of the Korea Information Processing Society Conference
- /
- 2016.10a
- /
- pp.433-435
- /
- 2016