발행물
컨퍼런스
Proceedings the 9th International SPIN Workshop on Model Checking of Software
1970
,
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach
컴퓨터시스템 연구회 논문집
QoS 지원을 위한 UPCALL 메커니즘 구현 및 성능 분석
한국정보과학회 추계학술대회 논문집
M3K에서 IPC 컴포넌트 설계 및 구현
한국 정보과학회 컴퓨터시스템 연구회 학술발표회 논문집
멀티미디어 통신을 위한 새로운 데이터 전송 프리미티브
한국 정보과학회 춘계 학술 발표 논문집
워크스테이션=>웹서버