Document :

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

Title :

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

Date :

2013-11-13

Source :

Editors

AI/Question :

Q14/13

Access :

Restricted to TIES users�[ITU-T]