Document :

ITU-T�SG 13� (Study Period 2013)� Contribution� 388

Title :

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

Date :

2013-10-22

Source :

Electronics and Telecommunications Research Institute (ETRI)

AI/Question :

Q14/13

Meeting :

2013-11-04

Access :

Restricted to TIES users�[ITU-T]