Low prices! Originals & Translations! Save your budget and time!
ONLINENORMS: Online Standards Store
Click View Shopping Cart
  1. Home
  2. NULL
  3. ITU-T Y.3320 PDF

ITU-T Y.3320 PDF

ITU-T Y.3320 PDF

Name:
ITU-T Y.3320 PDF

Published Date:
08/01/2014

Status:
[ Active ]

Description:

Requirements for applying formal methods to software-defined networking

Publisher:
International Telecommunication Union-T

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Russian version):
200 business days
SKU:
Choose Document Language:
$9.9
Need Help?

This Recommendation describes requirements for using formal methods. Formal methods are mathematics-based techniques used to specify, develop and verify software and hardware systems in the context of software-defined networking (SDN) for future networks (FN).

The scope of this Recommendation covers:

  • an overview of formal methods (formal specification and formal verification) for SDN, and
  • requirements for applying formal methods to SDN.

An example of how to apply formal methods to SDN is provided in Appendix I.


Edition : 14
File Size : 1 file
Number of Pages : 20
Published : 08/01/2014

History

Related products

ITU-T Y.3605
ITU-T Y.3605
Published Date: 09/01/2020
Big data – Reference architecture
$9.9
ITU-T X.45 SPANISH
ITU-T X.45 SPANISH
Published Date: 10/01/1996
Interfaz entre el equipo terminal de datos y el equipo de terminación del circuito de datos para equipos terminales que funcionan en el modo paquete y están conectados a redes públicas de datos, diseñados para funcionamiento eficaz a velocidades superiores
$24.6
ITU-T G.774.7 FRENCH
ITU-T G.774.7 FRENCH
Published Date: 02/01/2001
Hiérarchie numérique synchrone − Gestion de l'étiquetage d'interface et des traces de conduits d'ordre inférieur du point de vue des éléments de réseau
$9.9
ITU-T V.152 SPANISH
ITU-T V.152 SPANISH
Published Date: 01/01/2005
Procedimientos para el soporte de datos en banda vocal en redes IP
$3.6

Best-Selling Products

IEC/TS 60034-16-2 Ed. 1.0 b:1991
IEC/TS 60034-16-2 Ed. 1.0 b:1991
Published Date: 02/15/1991
Rotating electrical machines - Part 16: Excitation systems for synchronous machines - Chapter 2: Models for power system studies
$33
IEC/TS 60034-16-3 Ed. 1.0 b:1996
IEC/TS 60034-16-3 Ed. 1.0 b:1996
Published Date: 02/14/1996
Rotating electrical machines - Part 16: Excitation systems for synchronous machines - Section 3: Dynamic performance
$43.5
IEC/TS 60034-17 Ed. 3.0 b:2002
IEC/TS 60034-17 Ed. 3.0 b:2002
Published Date: 03/26/2002
Rotating electrical machines - Part 17: Cage induction motors when fed from converters - Application guide
$18.3
IEC/TS 60034-17 Ed. 4.0 b:2006
IEC/TS 60034-17 Ed. 4.0 b:2006
Published Date: 05/09/2006
Rotating electrical machines - Part 17: Cage induction motors when fed from converters - Application guide
$47.1
IEC/TS 60034-18-32 Ed. 1.0 b:1995
IEC/TS 60034-18-32 Ed. 1.0 b:1995
Published Date: 03/29/1995
Rotating electrical machines - Part 18: Functional evaluation of insulation systems - Section 32: Test procedures for form-wound windings - Electrical evaluation of insulation systems used in machines up to and including 50 MVA and 15 kV
$18.3
IEC/TS 60034-18-33 Ed. 1.0 b:1995
IEC/TS 60034-18-33 Ed. 1.0 b:1995
Published Date: 03/29/1995
Rotating electrical machines - Part 18: Functional evaluation of insulation systems - Section 33: Test procedures for form-wound windings - Multifactor functional evaluation - Endurance under combined thermal and electrical stresses of insulation systems used in machines up to and including 50 MVA a
$32.1