Browse "School of Computing(전산학부)" by Author 황시영

Showing results 1 to 3 of 3

1
(A) study of integrity for relational modellink

황시영; Hwang, Si-Yeong; et al, 한국과학기술원, 1978

2
(An) improved protocol validation technique by generating the group perturbation tree = 그룹 퍼터베이션트리 작성에 의한 효율적인 프로토콜 검증 기법link

Hwang, Si-Yeong; 황시영; et al, 한국과학기술원, 1986

3
확장된 선형 탐색에 의한 프로토콜 검증

이흥규; 윤현수; 김병만; 공재철; 황시영, 한국통신학회논문지, v.17, no.6, pp.558 - 571, 1992-06

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0