01224nam a2200229 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052003900096245024000135300002400375545009100399545009600490653012100586700004100707700004800748773016300796900001700959900001800976KSI00072450820081126160534ta081113s2000    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄷc27(1)-27(4)00a복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법 =x(A)qualitative formal method for requirements specification and safety analysis of hybrid real-time systems /d이장수,e차성덕  ap. 120-133 ;c26 cm  a이장수, 종신회원, 한국원자력연구소 MMIS팀 연구원bjslee@kaeri.re.kr  a차성덕, 종신회원, 한국과학기술원 전산학과 교수bcha@salmosa.kaist.ac.kr  a복합 실시간 계통a안전성 분석aCRSAaCausal requirements safety analysisaHRTSaHybrid real-time systems1 a이장수,d1960-0KAC2018462634aut1 a차성덕,g車成德,d1960-0KAC2017010070 t정보과학회논문지-소프트웨어 및 응용.d한국정보과학회.g27권 2호(2000년 2월), p. 120-133q27:2<120w(011001)KSE200000590,x1229-684810aLee, Jangsoo10aCha, Sungdeok