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

이명직 ,  홍만표 ,  김동규

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

1987 .01

LOTOS 코드 생성기의 개발

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

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

1997 .04

A Model Based Specification Environment for LOTOS

Eun Seok Lee ,  No ,  io Shi 외 2명

대한전자공학회 세미나

1991 .01

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

안영덕 ,  서동수 ,  송주석

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

1990 .10

객체행위챠트를 위한 LOTOS 정형기법 기반 시각적 시뮬레이션 도구의 개발

이광용 ,  오영배

정보과학회논문지(C)

1999 .10

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

양태연 ,  한선영

대한전자공학회 학술대회

1992 .11

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

양태연 ,  한선영

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

1992 .11

LOTOS를 사용한 LLC type 4의 형식 명세 기술 ( LLC Type 4 Formal Specification Description in LOTOS )

양태연 ,  한선영

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

1992 .01

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

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

이성은

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

1999 .09

LOTOS 행위 컴파일러의 개발

김철홍 ,  김강호 ,  박원규

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

1997 .10

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

박원규

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

1998 .04

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

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

조수선 ,  서동수 ,  이광용

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

1997 .10

Formal Specification and Verification of ISDN Services in LOTOS

Keiichi ,  ou Yamano ,  Dusan Jokanovic 외 4명

대한전자공학회 세미나

1991 .01

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

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

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

1997 .10

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

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

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

2000 .04

「객체 지향」 특집을 내면서

김기태 ,  김세헌

정보과학회지

1990 .10

[特輯]객체 지향과 객체 지향 언어

양해술

정보과학회지

1990 .10