Saved successfully
Save failed
Saved Successfully
Save Failed
公开(公告)号:KR101690948B1
公开(公告)日:2016-12-29
申请号:KR1020150129799
申请日:2015-09-14
Applicant: 국방과학연구소
Inventor: 김윤근 , 허종수 , 박귀홍
IPC: G06F9/455 , G06F11/28
Abstract: 본발명은항공기장치의검증기술에관한것으로서, 더상세하게는타임라인기반항공기장치의입출력이벤트시나리오를사용한소프트웨어를검증하는방법및 이의시스템에대한것이다.