Name:
ITU-T Y.3320 PDF
Published Date:
08/01/2014
Status:
[ Active ]
Publisher:
International Telecommunication Union-T
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 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 |
