Documento :

UIT-T NGN-GSI  (Periodo de estudios 2009)  Contribución  1165

Título :

Proposal for new draft Recommendation on "Requirements of Formal Specification and Verification Methods for Programmable Open Networking"

Recibido en :

2012-01-20

Origen :

Electronics and Telecommunications Research Institute (ETRI)

AI/Cuestión :

Q21/13

Reunión :

2012-02-06

Disponibilidad :

Restringido a usuarios de TIES [UIT-T]