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

Amel Berrachedi, Malika Ioualalen, Ahmed Hammad

Browse the full SIMULTECH paper archive.