Browse "EE-Conference Papers(학술회의논문)" by Author 노철우

Showing results 1 to 1 of 1

1
Petri Net을 이용한 TDX 내부 프로토콜 검증에 관한 연구

성단근; 노철우, 정보과학회 추계학술대회, pp.153 - 156, 정보과학회, 1989

rss_1.0 rss_2.0 atom_1.0