서브메뉴
검색
정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선
정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선
상세정보
MARC
008070103s2006 ULKa a KOR■022 ▼a15985164
■1001 ▼a김창진
■245 ▼a정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선▼d김창진 공저▼e최진영
■260 ▼a서울▼b한국정보과학회▼c2006.
■300 ▼app. 406-411
■653 ▼a정형▼a적용▼aDO178B▼a안전▼a검증▼a인증▼a기준
■7001 ▼a최진영
■773 ▼t학술대회 논문집 C▼g제33권 제2호 (2006년 10월)▼d2006, 10
■SIS ▼aS035739▼b60079202▼h8▼s2


