LOTOS를 사용한 LLC type 4의 형식 명세 기술

양태연 ,  한선영

한국통신학회 학술대회논문집

1992 .11

LOTOS를 사용한 LLC Type 4의 형식 명세 분석 및 설계 ( Analysis & Design of LLC Type 4 Formal Specification in LOTOS )

양태연 ,  한선영

대한전자공학회 학술대회

1992 .11

A Model Based Specification Environment for LOTOS

Eun Seok Lee ,  No ,  io Shi 외 2명

대한전자공학회 세미나

1991 .01

LOTOS기술 동향 연구 분석 ( A STUDY ON THE STARE OF ART IN LOTOS )

이명직 ,  홍만표 ,  김동규

한국통신학회 학술대회논문집

1987 .01

LOTOS 코드 생성기의 개발

천윤식 ,  김철홍 ,  박원규 외 2명

한국정보과학회 학술발표논문집

1997 .04

LOTOS에서의 모듈 구조 설계에 관한 연구

안영덕 ,  서동수 ,  송주석

한국정보과학회 학술발표논문집

1990 .10

Composition of LOTOS Specifications Based on Temporal Logic

Toshihiko Ando ,  Yasushi Kato ,  Kao 외 2명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1993 .01

Formal Specification and Verification of ISDN Services in LOTOS

Keiichi ,  ou Yamano ,  Dusan Jokanovic 외 4명

대한전자공학회 세미나

1991 .01

LOTOS 시뮬레이션을 이용한 프로토콜 검증에 관한 연구

이명직 ,  박종민 ,  김동규 외 1명

한국정보과학회 학술발표논문집

1988 .10

객체지향 LOTOS의 기본 설계

천윤식 ,  조수선

한국정보과학회 학술발표논문집

1996 .10

LOTOS 행위 컴파일러의 개발

김철홍 ,  김강호 ,  박원규

한국정보과학회 학술발표논문집

1997 .10

LOTOS / C++ 자료 컴파일러에서 가상 머신의 주석 처리

박원규

한국정보과학회 학술발표논문집

1998 .04

SESIL : LOTOS 정형 명세를 위한 시뮬레이터

조수선 ,  서동수 ,  이광용

한국정보과학회 학술발표논문집

1997 .10

LOTOS를 이용한 소프트웨어 아키텍처 진화의 표현

이성은

한국컴퓨터정보학회논문지

1999 .09

LOTOS 테스트 툴 구축에 관한 연구

한규정 ,  권기현 ,  정연대 외 1명

한국정보과학회 학술발표논문집

1997 .10

LOTOS를 이용한 다출력 고속 전광 demultiplexer ( A Multiple-output high-speed all-optical demultiplexer made with LOTOS )

최우영 ,  Ryo Takahashi ,  Yuichi Kawamu 외 3명

대한전자공학회 기타 간행물

1995 .01

LOTOS를 이용한 다출력 고속 전광 demultiplexer ( A Multiple-output high-speed all-optical demultiplexer made with LOTOS )

최우영

한국통신학회 기타 간행물

1995 .01

ForTIA : LOTOS 기반의 정형기법 지원도구

조수선 ,  천윤식 ,  오영배 외 1명

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2000 .04

LLC CLASS 3 알고리즘에 관한 연구

이길흥 ,  유인태 ,  박민용 외 1명

대한전자공학회 학술대회

1990 .11

Llc Class 3 알고리즘에 관한 연구 ( A Study on the Implementation of Llc Class 3 )

이길흥 ,  유인태 ,  박민용 외 1명

대한전자공학회 학술대회

1990 .11