기사
LOTOS protocol conformance testing for formal description specifications = 형식 기술 기법에 의한 LOTOS 프로토콜 적합성 시험
표제/저자사항 LOTOS protocol conformance testing for formal description specifications = 형식 기술 기법에 의한 LOTOS 프로토콜 적합성 시험 / Byoung Moon Chin, Sung Un Kim, Young Suk Ryu
형태사항 p. 1821-1841; 26 cm
주기사항 수록자료: 정보처리논문지. 한국정보처리학회. 제4권 7호(1997년 7월), p. 1821-1841 4:7<1821 상세보기 ISSN 1226-9190
저자: Byoung Moon Chin, 정회원 : 한국전자통신연구원 책임연구원
저자: Sung Un Kim, 정회원 : 부경대학교 정보통신공학과
저자: Young Suk Ryu, 정회원 : 부경대학교 정보통신공학과
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로