Showing results 1 to 5 of 5
Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink 최정훈; Choi, Jeong-Hun; et al, 한국과학기술원, 1987 |
Verification of intelligent network services by analyzing feature interactions using a petri net model = 페트리네트 모델을 사용한 서비스 상호작용 분석에 의한 지능망 서비스의 검증link Choi, Jeong-Hun; 최정훈; et al, 한국과학기술원, 2003 |
지능망 서비스의 정의와 검증 최정훈; 권용래, 정보와 통신 : 한국통신학회지, v.10, no.9, pp.47 - 56, 1993-08 |
차세대 지능망 서비스 상호작용 최정훈; 김현수; 권용래, 한국정보과학회지, v.13, no.8, pp.89 - 98, 1995-01 |
차세대 지능망에서 서비스의 정의 및 검증 김현수; 이우진; 최정훈; 권용래, 한국정보과학회 논문지, v.22, no.2, pp.326 - 336, 1995-01 |
Discover