항공용 객체지향 소프트웨어에 대한 취약점 검증 방안 - 장정훈(Jeong-hoon Jang); 김성수(Sung-su Kim); 이지현(Ji-hyun Lee) (항공우주시스템공학회지, 2022)
Keywords: Verification(검증); MISRA(자동차 산업 소프트웨어 신뢰성 협회); LDRA(리버풀 데이터 리서치 협회); Safety(안전성); OOT(객체지향기술); Vulnerability(취약점)