Open AccessTowards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs
Author(s) -
Amel Berrachedi,
Malika Ioualalen,
Ahmed Hammad
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010549200830091
Subject(s) - model transformation , computer science , systems modeling language , transformation (genetics) , unified modeling language , formal methods , software engineering , programming language , artificial intelligence , software , biochemistry , chemistry , consistency (knowledge bases) , gene