Author of the publication

AMS SoC Formal Verification based on Hybrid Scheme

, , and . International Journal of Engineering and Management Research, 8 (4): 43-45 (August 2018)
DOI: doi.org/10.31033/ijemr.8.4.4

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.

 

Other publications of authors with the same name

AMS SoC Formal Verification based on Hybrid Scheme, , and . International Journal of Engineering and Management Research, 8 (4): 43-45 (August 2018)Improved security and routing path learning in MANETs using Beer-Quiche game theoritical model in cloud computing., and . Clust. Comput., 22 (Suppl 1): 21-31 (2019)An Efficient Emergency Management System Using NSGA-II Optimization Technique., , and . ICACIE (2), volume 1199 of Advances in Intelligent Systems and Computing, page 474-482. Springer, (2019)DCQSH: Dynamic Conflict-Free Query Scheduling in Heterogeneous Networks during Emergency., , , , , and . Computación y Sistemas, (2021)An Enhanced Data Security and Task Flow Scheduling in Cloud-enabled Wireless Body Area Network., , and . Wirel. Pers. Commun., 120 (1): 849-867 (2021)EMC2: an emergency management system using mobile cloud computing., , , , , and . IET Networks, 9 (2): 64-73 (2020)SensMask: An Intelligent Mask for Assisting Patients during COVID-19 Emergencies., , , , , , and . Computación y Sistemas, (2021)Hybrid Deep Learning Method for Diagnosis of Cucurbita Leaf Diseases., and . Comput. Syst. Sci. Eng., 44 (3): 2585-2601 (2023)A metaheuristic segmentation framework for detection of retinal disorders from fundus images using a hybrid ant colony optimization., , and . Soft Comput., 24 (17): 13347-13356 (2020)Comprehensive Study on Smart Solar Grid with Embedded System and IoT Technology., , , , , , and . ICCCNT, page 1-6. IEEE, (2023)