. SDL을 사용함으로써 각 개발 단계에 대한 명확한 표현과 정확한 에러 또는 요구사항 교환에 검증을 쉽게 할 수 있다. 추가적으로 프로토콜의 단계는 MSC의 확인을 통해서 ... imulation by verification of MSC and the results showed a possibility of developing a better TCP/IP protocol. 한국정보통신학회 한국정보통신학회논문지 이재훈, 조성현㈜유정시스템), 이태오, 임재홍