An incremental refinement approach to a development of TMN protocol

Sanae El Mimouni, Mohamed Bouhdadi. An incremental refinement approach to a development of TMN protocol. In Ajith Abraham, Adel M. Alimi, Abdelkrim Haqiq, Dijiang Huang, Dong Seong Kim, Hannan Xiao, Nizar Rokbani, Mohamed Ben Halima, Azah Kamilah Muda, Kun Ma, editors, 11th International Conference on Information Assurance and Security, IAS 2015, Marrakech, Morocco, December 14-16, 2015. pages 135-139, IEEE, 2015. [doi]

Abstract

Abstract is missing.