Criteria for Use of Formal Description Techniques by ITU-T Series Z: Languages and General Software Aspects for Telecommunication Systems Formal Description Techniques (FDT) - Application of Formal Description Techniques Study Group 10
In view of the complexity and widespread use of Recommendations, it is imperative that adequate and appropriate description techniques and languages be used to ensure the required quality levels of Recommendations