홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAE.IT-Y.3320 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2014-12-17 | 총페이지 | 29 |
| 한글표준명 | 소프트웨어 정의 네트워킹을 위한 정형 명세 기법 요구사항 | ||
| 영문표준명 | Requirements for applying formal methods to software-defined networking | ||
| 한글내용요약 | 본 표준은 소프트웨어 정의 네트워킹 (SDN, Software-defined networking) 기술에서 SDN 응용 및 시스템을 구현, 개발 및 검증하기 위한 정형 기법을 기술하고, 이에 따른 기능적 요구 사항을 정의한다.
아울러 본 표준에서는 정형 기법을 이용한 SDN 응용 검증 예제를 부록으로 제시한다 |
||
| 영문내용요약 | This standard describes requirements for using formal methods; mathematically-based techniques) to specify, develop, and verify software and hardware systems, in the context of software-defined networking (SDN) for Future Networks. | ||
| 국제표준 | |||
| 관련파일 |
![TTAE.IT-Y.3320_[1].pdf](/images/file_icon.gif){kind=icon} TTAE.IT-Y.3320_[1].pdf
| ||
