기사
복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법 = (A)qualitative formal method for requirements specification and safety analysis of hybrid real-time systems
표제/저자사항 복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법 = (A)qualitative formal method for requirements specification and safety analysis of hybrid real-time systems / 이장수, 차성덕
형태사항 p. 120-133 ; 26 cm
주기사항 수록자료: 정보과학회논문지-소프트웨어 및 응용. 한국정보과학회. 27권 2호(2000년 2월), p. 120-133 27:2<120 상세보기 ISSN 1229-6848
저자: 이장수, 종신회원, 한국원자력연구소 MMIS팀 연구원 E-MAIL: jslee@kaeri.re.kr
저자: 차성덕, 종신회원, 한국과학기술원 전산학과 교수 E-MAIL: cha@salmosa.kaist.ac.kr
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로