지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
OSPF Protocol 표준 및 구현의 대수 정형적 명세 및 정형적 검증
한국통신학회논문지
2004 .03
OSPF 라우팅 프로토콜의 패킷 처리 분석
대한전자공학회 학술대회
2000 .11
대체 경로를 갖는 OSPF 라우팅 프로토콜
한국통신학회 학술대회논문집
2000 .07
추상자료형 기술을 위한 대수명세의 새로운 접근 방법
(구)정보과학회논문지
1990 .06
OSPF-TE 라우팅 리스너의 구현 및 적용 분야
대한전자공학회 학술대회
2012 .06
대수적 명세기법을 이용한 소프트웨어 설계에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
전술통신망에서 능동적 라우팅을 위한 OSPF에 대한 연구
한국통신학회논문지
2010 .12
텀 개서 시스템을 이용한 ACT ONE 대수적 명세의 검증
한국정보과학회 학술발표논문집
1997 .10
무선 환경에서 OSPF 비용함수를 위한 파라미터 분석
한국통신학회 학술대회논문집
2012 .02
가상 머신을 활용한 OSPF 네트워크 시뮬레이션
한국통신학회 학술대회논문집
2008 .11
트래픽 엔지니어링을 위한 OSPF 확장 설계 및 구현
한국통신학회 학술대회논문집
2001 .11
OSPF Area 를 이용한 IP 네트워크 이동성 제공
한국통신학회 학술대회논문집
2011 .06
무선 전술 통신망을 위한 OSPF 적용 방안
정보과학회논문지 : 정보통신
2010 .04
공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법
한국통신학회 학술대회논문집
2007 .11
대수명세의 단계적 구현과 증분식 테스팅
(구)정보과학회논문지
1991 .02
대수명세의 구현과 증분식 테스팅
한국정보과학회 학술발표논문집
1990 .10
패킷 소프트웨어 성능분석 도구의 설계 및 구현
(구)정보과학회논문지
1994 .04
대수적 명세기법을 이용한 Data Type Verification System 에 관한 연구
한국정보과학회 학술발표논문집
1986 .10
전술환경을 고려한 OSPF 적용방안 연구
한국정보과학회 학술발표논문집
2011 .06
0