Document :

UIT-T SG 13  (Période d'études 2013)  Contribution  388

Titre :

Modified scope of formal specification and verification in Y.SDN-fm

Reçu le :

2013-10-22

Source :

Electronics and Telecommunications Research Institute (ETRI)

AI/Question :

Q14/13

Réunion :

2013-11-04

Disponibilité :

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