Browse "School of Electrical Engineering(전기및전자공학부)" by Author 노철우

Showing results 1 to 2 of 2

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

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

2
확장된 Petri Nets을 이용한 TDX 내부 프로토콜 검증

노철우; 성단근, 정보과학회논문지, v.18, no.1, pp.46 - 57, 1991-01

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0