Verification of results

Jens Holge ,  Rindel

한국소음진동공학회 세미나자료집

2009 .11

철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험

황종규 ,  이재호 ,  윤용기 외 1명

철도저널

2004 .06

A Verification System for Communication Protocols and Its Application to the OSI Session Protocol

Feng-jing Shao ,  Hi ,  oyuki Seki 외 5명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1990 .01

Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems

Jong-Gyu Hwang ,  Hyun-Jeong Jo ,  Jae-Ho Lee

Journal of Electrical Engineering & Technology

2006 .12

Implementation and Simulation of a New Designed Transport Layer Protocol

Kwang Hui Lee ,  Sun Shin An

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1988 .01

MOST 150 Network Frame 분석과 MOST High Protocol 검증 방법

윤성호 ,  이상엽 ,  고재진 외 1명

대한전자공학회 학술대회

2012 .06

실행 가능한 모델 적용을 통한 신뢰성 있는 네트워크 프로토콜 설계

이동훈 ,  조동훈

대한전자공학회 학술대회

2015 .06

Protocol Implementations for Web Based Control Systems

Sugoog Shon

International Journal of Control, Automation, and Systems

2005 .03

Protocol Implementations for Web Based Control Systems

Sugoog Shon

International Journal of Control Automation and Systems

2005 .03

FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -

K. Fukue ,  H. Shimoda ,  T. Sakata

IEEE Region 10 Conference

1987 .01

Communication Protocol의 design 을 위한 Specification과 Verification에 관한 연구

정환태 ,  김창민 ,  김영찬

한국정보과학회 학술발표논문집

1986 .10

Verification of Authentication Protocol for CDMA Mobile Communication Network

Ki-Yoong Hong ,  Seok-Woo Kim ,  Dong-Kyoo Kim

Journal of Electrical Engineering and information Science

1996 .03

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04

Formal Verification Network-based Protocol for Railway Signaling Systems

Jong-Gyu Hwang ,  Jae-Ho Lee

제어로봇시스템학회 국제학술대회 논문집

2004 .08

In - System Verification of C - based SOC Design at early design stage

Dynalith Systems

대한전자공학회 기타 간행물

2001 .11

A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC

Muhammad Faisal ,  Jong Won Kim

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

Implementation of a High-Level Hardware Verification System using Truss

Myoung-Keun You ,  Joo-Hong Kim ,  Gi-Yong Song

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2008 .07

Communication Models and Protocols

Moto ,  ola

대한전자공학회 단기강좌

1991 .01

Design and implementation of the medical information switching protocol between health care application and hospitals

Sung-Yeol Yun ,  Seok-Cheon Pa ,  k

INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING

2012 .06