• Rec. CCITT Z110 (11/1988) – CRITÈRES D'UTILISATION ET D'APPLICABILITÉ DES TECHNIQUES DEDESCRIPTION FORMELLE
  • 1 Raison d'être des techniques de description formelle (TDF)
  • 2 TDF
    • 2.1 Définitions
    • 2.2 Objectifs d'une TDF
    • 2.3 Avantages d'une TDF
    • 2.4 Problèmes posés par les TDF
    • 2.5 Solutions
  • 3 Elaboration et normalisation des TDF
  • 4 Elaboration et homologation de descriptions formelles