( en | de | ru )

 

Disambiguation of "Rahim, Messaoud"

Author of the publication

copydeleteadd this publication to your clipboard
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.

, , and . ACIT-CSI, page 509-516. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Messaoud Chatter

Messaoud Sassoui

Rahim Kasray

Rahim Pourabdolrahim

Rahim Pakzad

 

Other publications of authors with the same name

Modular and Distributed Verification of SysML Activity Diagrams., , and . MODELSWARD, page 202-205. SciTePress, (2013)Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach., , and . CSA, volume 199 of Lecture Notes in Networks and Systems, page 131-142. Springer, (2020)User Web Access Prediction Based On Web Services And User Profile., , , and . ICAASE, page 1-6. IEEE, (2022)A methodology for verifying SysML requirements using activity diagrams., , and . Innov. Syst. Softw. Eng., 13 (1): 19-33 (2017)Modular and Distributed Verification of SysML Activity Diagrams., , and . MODELSWARD, page 202-205. SciTePress, (2013)A Model Driven Approach for Web Service Composition., , , and . ICAASE, page 1-8. IEEE, (2022)Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams., , , and . IET Softw., 9 (5): 119-128 (2015)Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams., , and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 233-248. CEUR-WS.org, (2014)Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets., , and . ACIT-CSI, page 509-516. IEEE, (2015)Modular and Distributed Verification of SysML Activity Diagrams., , and . MODELSWARD, page 202-205. SciTePress, (2013)