Showing results 1 to 3 of 3
(A) study of integrity for relational modellink 황시영; Hwang, Si-Yeong; et al, 한국과학기술원, 1978 |
(An) improved protocol validation technique by generating the group perturbation tree = 그룹 퍼터베이션트리 작성에 의한 효율적인 프로토콜 검증 기법link Hwang, Si-Yeong; 황시영; et al, 한국과학기술원, 1986 |
확장된 선형 탐색에 의한 프로토콜 검증 이흥규; 윤현수; 김병만; 공재철; 황시영, 한국통신학회논문지, v.17, no.6, pp.558 - 571, 1992-06 |
Discover