Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Volume 14 Issue 8
/
Pages.22-31
/
1996
/
1229-6821(pISSN)

Korean Institute of Information Scientists and Engineers (한국정보과학회)

권호 표지

ASADAL:A Realtime System Specification and Analysis Environment

고광일 (포항공과대학교) ;
김대우 (포항공과대학교 비회원) ;
이관우 (포항공과대학교 학생회원) ;
이지영 (포항공과대학교 비회원) ;
김영권 (포항공과대학교 비회원) ;
이정근 (포항공과대학교 학생회원) ;
강교철 (포항공과대학교 종신회원)

Published : 1996.08.01

PDF

⟨ Previous Next ⟩

Abstract

Keywords