( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Highly Assured Safety and Security of e-Health Applications.

, , и . WiMob, стр. 137-144. IEEE, (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.

Muhammad Yunus Khan

Nur Muhammad Khan

Muhammad Zafrullah Khan

Muhammad Asadullah Khan

Muhammad Amir Khan

 

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

A verification framework for minimaple programs., и . ACM Commun. Comput. Algebra, 47 (3/4): 98-99 (2013)Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software., , , и . WESS, стр. 8. ACM, (2015)Towards the Formal Specification and Verification of Maple Programs., и . AISC/MKM/Calculemus, том 7362 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Extracting Timed Automata from Java Methods., , и . SCAM, стр. 91-100. IEEE Computer Society, (2017)A rigorous and efficient run-time security monitor for real-time critical embedded system applications., , и . WF-IoT, стр. 100-105. IEEE Computer Society, (2016)Effective Prevention of Semantic Drift in Continual Deep Learning., и . IDEAL, том 13756 из Lecture Notes in Computer Science, стр. 456-464. Springer, (2022)Towards Scalable Security of Real-time Applications: A Formally Certified Approach., , и . ETFA, стр. 1-4. IEEE, (2021)Graph Clustering Based Size Varying Rules for Lifelong Topic Modeling., , и . ICBRA, стр. 73-77. ACM, (2018)On the Formal Semantics of MiniMaple and its Specification Language.. FIT, стр. 169-174. IEEE Computer Society, (2012)Towards Integration of EPANET and ASM2S To Enhance Security in Water Distribution Systems., , , и . ETFA, стр. 1-8. IEEE, (2024)