( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Unpaired font family synthesis using conditional generative adversarial networks.

, , и . Knowl. Based Syst., (2021)

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

Hatem Hammad

 

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

Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems).. (2018)Verification of Real-Time Systems: Application to the Transportation Domain., и . NTMS, стр. 1-5. IEEE, (2009)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 and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , и . MODELSWARD, стр. 123-128. SciTePress, (2013)Formal verification of components assembly based on SysML and interface automata., и . Innov. Syst. Softw. Eng., 7 (4): 265-274 (2011)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)Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams., , , и . IET Softw., 9 (5): 119-128 (2015)An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting., , и . Int. J. Wirel. Mob. Comput., 14 (4): 378-386 (2018)