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

Amel Berrachedi Malika Ioualalen Ahmed Hammad

Published in: SIMULTECH (2021)

Keyphrases

formal methods
modeling language
wireless sensor networks
formal model
discrete event simulation
modeling method
data sets
data mining
formal specification