Document :

UIT-T�SG 13� (P�riode d'�tudes 2013)� Contribution� 666

Titre :

Formal methods for networking for Appendix of draft Y.FNsdn-fm

Re�u le :

2014-06-24

Source :

Electronics and Telecommunications Research Institute (ETRI)

AI/Question :

Q14/13

R�union :

2014-07-07

Disponibilit� :

R�serv� aux utilisateurs TIES�[UIT-T]