01208nam a2200253 c 4500001001300000005001500013008004100028040001100069041001300080052003200093245019500125300002500320545007800345545006700423545006900490653012800559700004100687700001700728700001900745773014000764900002200904900001400926900001400940KSI00039495620050603144848050524s1997    ulk           000   eng    a0110010 aengbkor01a028.605b한613ㅈㅂc4(7)00aLOTOS protocol conformance testing for formal description specifications=x형식 기술 기법에 의한 LOTOS 프로토콜 적합성 시험/dByoung Moon Chin,eSung Un Kim,eYoung Suk Ryu  ap. 1821-1841;c26 cm  aByoung Moon Chin, 정회원 : 한국전자통신연구원 책임연구원  aSung Un Kim, 정회원 : 부경대학교 정보통신공학과  aYoung Suk Ryu, 정회원 : 부경대학교 정보통신공학과  aLOTOSaProtocol conformance testingaFormal description specificationsa형식 기술 기법a프로토콜 적합성 시험1 a진병문,d1953-0KAC2018F51274aut1 aKim, Sung Un1 aRyu, Young Suk0 t정보처리논문지.d한국정보처리학회.g제4권 7호(1997년 7월), p. 1821-1841q4:7<1821w(011001)KSE199509081,x1226-919010aChin, Byoung Moon10a김성문10a류영숙