Documento :

UIT-T�SG 13� (Periodo de estudios 2013)� Documento Temporale� 194-WP3

T�tulo :

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

Recibido en :

2014-02-27

Origen :

Editor

AI/Cuesti�n :

Q14/13

Disponibilidad :

Restringido a usuarios de TIES�[UIT-T]