국가전거
주제명검색
일반도서
고 신뢰성 내장형 소프트웨어 오류 자동 검증 기술 = Automated verification technique for embedded software required high reliability
표제/저자사항
고 신뢰성 내장형 소프트웨어 오류 자동 검증 기술 = Automated verification technique for embedded software required high reliability / 주관연구기관명: 슈어소프트테크 ; 주관연구책임자: 차신 ; 연구원: 이규열 ; 협동연구책임자: 김태요, 이재용, 유석진 ; 협동연구기관명: 포멀웍스, 파수닷컴, 현대로템
발행사항
[세종] : 산업통상자원부, 2016
형태사항
3, 207 p. : 삽화, 도표 ; 30 cm
총서사항
(민군겸용기술개발사업)
주기사항
참고문헌: p. 206-207
본문은 한국어, 영어가 혼합수록됨 ; 영어 요약 있음
본문은 한국어, 영어가 혼합수록됨 ; 영어 요약 있음
분류기호
한국십진분류법-> 005.12[394.56]듀이십진분류법-> 005.12[355.82]
주제명
소프트웨어 기술[--技術] 군수 산업[軍需産業] 민수 산업[民需産業]
출처
국립중앙도서관 바로가기
MARC 보기
001KMO201509136
00520150303111639
007ta
008150107s2001 gak 100 kor
0490 ▼lEM6076783▼lEM6076784▼c2▼fSY
05201▼a470▼b15-3
056 ▼a470▼26
08201▼a570▼223
24500▼a생명이란 무엇인가? :▼b생명·환경·문화 8월 대 토론회 /▼d주최: 토지문화재단 ;▼e주관: 한국생명윤리학회,▼e토지문화관
260 ▼a원주 :▼b토지문화재단,▼c2001
300 ▼a81 p. ;▼c30 cm
500 ▼a일시 및 장소: 2001년 8월 18일(토) ~ 19일(일), 토지문화관
504 ▼a참고문헌 수록
650 8▼a생명 과학[生命科學]
650 8▼a생명론[生命論]
710 ▼a토지문화재단
710 ▼a한국생명윤리학회
710 ▼a토지문화관
9501 ▼a가격불명
담당부서 : 국가서지과 (02-590-6361)
