02184nam a2200505 c 4500001001300000005001500013007000300028008004100031041001800072049003200090052001700122056002200139082002300161245039800184260005300582300004100635490003500676504002900711546007400740650005200814650004700866650004700913700001900960700002200979700002201001700002201023700002201045710003901067710002501106710003901131710003901170830005801209880008501267880005801352880002401410880002601434880002601460880002601486880002701512880003501539880002901574880002801603880003001631950001701661KMO20164274120230426090530ta160718s2016    sjkad         000   korFS0 akoraengbeng0 lEM6446842lEM6446843c2fGP01a005.12b16-1  a005.12a394.562601a005.12a355.82223006880-01a고 신뢰성 내장형 소프트웨어 오류 자동 검증 기술 =xAutomated verification technique for embedded software required high reliability /d주관연구기관명: 슈어소프트테크 ;e주관연구책임자: 차신 ;e연구원: 이규열 ;e협동연구책임자: 김태요,e이재용,e유석진 ;e협동연구기관명: 포멀웍스,e파수닷컴,e현대로템  6880-02a[세종] :b산업통상자원부,c2016  a3, 207 p. :b삽화, 도표 ;c30 cm10a민군겸용기술개발사업  a참고문헌: p. 206-207  a본문은 한국어, 영어가 혼합수록됨 ; 영어 요약 있음 8a소프트웨어 기술[--技術]0KSH2002016401 8a군수 산업[軍需産業]0KSH1998022172 8a민수 산업[民需産業]0KSH20000169311 6880-03a차신1 6880-04a이규열1 6880-05a김태요1 6880-06a이재용1 6880-07a유석진  6880-08a슈어소프트테크4aut  6880-09a포멀웍스  6880-10a파수닷컴0KAB202300438  6880-11a현대로템0KAB201914978 0a민군겸용기술개발사업(산업통상자원부)006245-01/(BaGo silloeseong naejanghyeong sopeuteuweeo oryu jadong geomjeung gisul  6260-02/(Ba[Sejong] :bSaneop Tongsang Jawonbu,c20161 6700-03/(BaCha, Sin1 6700-04/(BaI, Gyuyeol1 6700-05/(BaGim, Taeyo1 6700-06/(BaI, Jaeyong1 6700-07/(BaYu, Seokjin  6710-08/(BaSyueo Sopeuteutekeu  6710-09/(BaPomeol Wokseu  6710-10/(BaPasu datkeom  6710-11/(BaHyeondae Rotem1 a가격불명