Document :

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

Title :

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

Date :

2014-02-27

Source :

Editor

AI/Question :

Q14/13

Access :

Restricted to TIES users [ITU-T]