( en | de | ru )

 

Disambiguation of "Hammad, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting.

, , and . Int. J. Wirel. Mob. Comput., 14 (4): 378-386 (2018)

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.

Faisal Hammad

Farouk Hammad

Mohammed Hammad

Hammad Afzal

Haysam Hammad

 

Other publications of authors with the same name

Verification of Real-Time Systems: Application to the Transportation Domain., and . NTMS, page 1-5. IEEE, (2009)Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems).. (2018)Model Driven Approach to Design an Automotive CPS with SysReo Language., , and . MobiWac, page 97-104. ACM, (2022)Assembling Components using SysML with Non-Functional Requirements., , and . FESCA, volume 295 of Electronic Notes in Theoretical Computer Science, page 31-47. Elsevier, (2012)An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting., , and . Int. J. Wirel. Mob. Comput., 14 (4): 378-386 (2018)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , and . MODELSWARD, page 123-128. SciTePress, (2013)Formal verification of components assembly based on SysML and interface automata., and . Innov. Syst. Softw. Eng., 7 (4): 265-274 (2011)Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams., , , and . IET Softw., 9 (5): 119-128 (2015)Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets., , and . ACIT-CSI, page 509-516. IEEE, (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)