• CCITT Rec. Z.110 (11/1988) – CRITERIA FOR THE USE AND APPLICABILITYOF FORMAL DESCRIPTION TECHNIQUES
  • 1 Support for formal description techniques (FDTs)
  • 2 FDTs
    • 2.1 Definitions
    • 2.2 Objectives of an FDT
    • 2.3 Benefits of an FDT
    • 2.4 Problem with FDTs
    • 2.5 Solutions
  • 3 Development and standardization of FDTs
  • 4 Development and acceptance of formal descriptions