엑셀 다운로드 이미지형 리스트형 항목선택 서명 저자 출판사 출판년도 정렬 오름차순 내림차순 페이지수 10 20 30 50 100 1 [ 기사 ] 구간분석을 통한 심층신경망의 안정성검증의 한가지 방법 저자 리철진, 최창일 발행처 김일성종합대학출판사 발행년 2021 2 [ 기사 ] 시태론리모형검사도구 UPPAAL을 리용한 체계련동모의와 정확성검증 저자 리승광; 최창일 발행처 김일성종합대학출판사 발행년 2019 3 [ 기사 ] (연구자료)지속론리모형검사에 의한 한가지 실시간체계의 실시간요구검증 저자 김원경; 최창일 발행처 과학기술출판사 발행년 2019 4 [ 기사 ] 분무건조법을 리용한 초미립경질합금분말의 생산방법 저자 한철민; 최창일 발행처 발명총국 발행년 2019 5 [ 기사 ] 시태론리모형검사도구 UPPAAL을 리용한 체계련동모의와 정확성검증 저자 리승광; 최창일 발행처 김일성종합대학출판사 발행년 2019 6 [ 기사 ] (연구론문)모듈화에 기초한 고장나무분석법 저자 최창일; 김학민 발행처 과학기술출판사 발행년 2019 7 [ 기사 ] (연구론문)병렬실시간체계에서의 확장된 선형지속제한식검증을 위한 한가지 방법 저자 최창일; 차명혁 발행처 과학기술출판사 발행년 2018 8 [ 기사 ] 시간자동체에서의 선형지속제한식검증을 위한 한가지 방법 저자 차명혁;최창일 발행처 김일성종합대학출판사 발행년 2018 9 [ 기사 ] (연구론문)리산지속론리에 의한 고장나무의 믿음성과 완전성검사방법 저자 허주영; 최창일 발행처 과학기술출판사 발행년 2018 10 [ 기사 ] (연구론문)RAMS관리에서 FMEA-FTA 모형에 기초한 위험평가의 한가지 방법 저자 리영원 중앙과학기술통보사; 최창일 김일성종합대학 발행처 중앙과학기술통보사 발행년 2018