기사
정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발 = Development of formal verification and testing procedure for the embedded I&C software
표제/저자사항 정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발 = Development of formal verification and testing procedure for the embedded I&C software / 이나영, 김진현, 안영아, 최진영, 성아영, 최병주, 이장수
형태사항 p. 43-49 ; 26 cm
주기사항 수록자료: 정보과학회지. 한국정보과학회. 22권 6호(2004년 6월), p. 43-49 22:6<43 상세보기 ISSN 1229-6821
저자: 이나영, 서울대학교
저자: 김진현, 학생회원, 고려대학교 E-MAIL: jhkim@formal.korea.ac.kr
저자: 안영아, 학생회원, 고려대학교
저자: 최진영, 종신회원, 고려대학교 E-MAIL: choi@formal.korea.ac.kr
저자: 성아영, 학생회원, 이화여자대학교 E-MAIL: wishmoon@mm.ewha.ac.kr
저자: 최병주, 종신회원, 이화여자대학교 E-MAIL: bjchoi@ewha.ac.kr
저자: 이장수, 종신회원, 한국원자력연구소 E-MAIL: jslee@kaeri.re.kr
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로