Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs

Amel Berrachedi, Malika Ioualalen, Ahmed Hammad. Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. In Gerd Wagner 0001, Frank Werner, Tuncer I. Ă–ren, Floriano De Rango, editors, Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021. pages 83-91, SCITEPRESS, 2021. [doi]

Abstract

Abstract is missing.