( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.

, , и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 233-248. CEUR-WS.org, (2014)

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.

Faisal Hammad

Farouk Hammad

Mohammed Hammad

Hammad Afzal

Hammad Husain

 

Другие публикации лиц с тем же именем

Model Driven Approach to Design an Automotive CPS with SysReo Language., , и . MobiWac, стр. 97-104. ACM, (2022)Assembling Components using SysML with Non-Functional Requirements., , и . FESCA, том 295 из Electronic Notes in Theoretical Computer Science, стр. 31-47. Elsevier, (2012)Verification of Real-Time Systems: Application to the Transportation Domain., и . NTMS, стр. 1-5. IEEE, (2009)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , и . MODELSWARD, стр. 123-128. SciTePress, (2013)Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams., , , и . IET Softw., 9 (5): 119-128 (2015)Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams., , и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 233-248. CEUR-WS.org, (2014)Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets., , и . ACIT-CSI, стр. 509-516. IEEE, (2015)Tooled Process for Early Validation of SysML Models Using Modelica Simulation., , , и . FSEN, том 9392 из Lecture Notes in Computer Science, стр. 230-237. Springer, (2015)A new two level hierarchy structuring for node partitioning in ad hoc networks., , , и . SAC, стр. 719-726. ACM, (2010)Modeling and simulation of modular complex system: Application to air-jet conveyor., , , и . AIM, стр. 1194-1199. IEEE, (2014)