Document :

ITU-T�SG 13� (Study Period 2013)� Temporary Document� 116-WP3

Title :

Updated draft of Y.FNsdn-fm "Requirements of formal specification and verification methods for software-defined networking"

Date :

2013-10-17

Source :

Editor

AI/Question :

Q14/13

Access :

Restricted to TIES users�[ITU-T]