• Rec CCITT Z.110 (11/1988) – CRITERIOS PARA LA UTILIZACIÓN Y APLICABILIDAD DE TÉCNICAS DE DESCRIPCIÓN FORMAL
  • 1 Razón de ser de las técnicas de descripción formal (TDF)
  • 2 Las TDF
    • 2.1 Definiciones
    • 2.2 Objetivos de una TDF
    • 2.3 Ventajas de las TDF
    • 2.4 Problemas en relación con las TDF
    • 2.5 Soluciones
  • 3 Desarrollo y normalización de las TDF
  • 4 Elaboración y aceptación de descripciones formales