01601nam a2200313 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052002800096245020500124300002600329545008900355545011500444545011400559545008500673653013200758700001900890700004800909700004800957700004801005773014901053856001901202900001601221900001901237900001501256900001601271KSI00072252920081119191642ta081110s2005    bnk           000   kor    a0110010 akorbeng01a004.05b한488ㅁc8(8)00a통신 프로토콜 검정기 및 적합성시험 도구 개발 =xDevelopment of verification and conformance testing tools for communication protocol /d서미선,e황종규,e이재호,e김성운  ap. 1119-1133 ;c26 cm  a서미선, 준회원, 부경대학교 정보통신공학과bjljpms@mail1.pknu.ac.kr  a황종규, 정회원, 한국철도기술연구원 전기신호연구본부 선임연구원bjghwang@krri.re.kr  a이재호, 정회원, 한국철도기술연구원 전기신호연구본부 책임연구원bjhlee1@krri.re.kr  a김성운, 종신회원, 부경대학교 정보통신공학과bkimsu@pknu.ac.kr  aVenrificationa검정aConformance testinga적합성 시험aModal mu-calculusaConformance test casea적합성 시험 계열1 a서미선4aut1 a황종규,g黃宗奎,d1969-0KAC2017012291 a이재호,g李在浩,d1964-0KAC2018602151 a김성운,g金成雲,d1961-0KAC2018531060 t멀티미디어학회논문지.d한국멀티미디어학회.g8권 8호(2005년 8월), p. 1119-1133q8:8<1119w(011001)KSE200101912,x1229-777140u365391aKd00010aSeo, Miseon10aHwang, Jonggyu10aLee, Jaeho10aKim, Sungun