Documento :

UIT-T�SG 13� (Periodo de estudios 2013)� Contribuci�n� 388

T�tulo :

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

Recibido en :

2013-10-22

Origen :

Electronics and Telecommunications Research Institute (ETRI)

AI/Cuesti�n :

Q14/13

Reuni�n :

2013-11-04

Disponibilidad :

Restringido a usuarios de TIES�[UIT-T]