00930naa a2200181 c 4500001001300000005001500013008004100028040001100069041001300080052003200093245022900125300002500354545007500379653008800454700004800542773014000590900001800730KSI00039988620050603144927050530s1998    ulk           000   kor    a0110010 akorbeng01a028.605b한613ㅈㅂc5(6)00a형식적 방법론을 이용한 통신 소프트웨어 개발 지원 환경의 설계와 구현=xDesign and implementation of a support environment for communication software development based on formal methods/d이은석  ap. 1537-1551;c26 cm  a이은석, 종신회원 : 성균관대학교 정보공학과 조교수  a형식적 방법론a통신 소프트웨어aCommunication softwareaFormal methods1 a이은석,g李殷碩,d1962-0KAC2018047990 t정보처리논문지.d한국정보처리학회.g제5권 6호(1998년 6월), p. 1537-1551q5:6<1537w(011001)KSE199509081,x1226-919010aLee, Eun-Seok