( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.

, , , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 383-399. (2016)

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.

Mohammed Mohammed

Mohammed Mohammed

Mohammed Hamed Mohammed

Mohammed Hamed Mohammed

Ammar Mohammed Mohammed

 

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

Repeatable Decentralized Simulations for Cyber-Physical Systems., , и . QRS, стр. 240-247. IEEE, (2019)Contract-based verification of model transformations: a formally founded approach., и . SAC, стр. 1559-1568. ACM, (2021)A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems.. RTCSA, стр. 1-10. IEEE, (2020)Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools.. ACSD, стр. 29-38. IEEE Computer Society, (2017)Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots., , , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 383-399. (2016)On Reconciling Schedulability Analysis and Model Checking in Robotics.. MEDI Workshops, том 1085 из Communications in Computer and Information Science, стр. 32-48. Springer, (2019)Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach., и . Frontiers Robotics AI, (2022)Formal verification of complex robotic systems on resource-constrained platforms., , , , , и . FormaliSE@ICSE, стр. 2-9. ACM, (2018)Runtime Verification of Timed Properties in Autonomous Robots., , , и . MEMOCODE, стр. 1-12. IEEE, (2020)Statistical Model Checking of Complex Robotic Systems., , и . SPIN, том 11636 из Lecture Notes in Computer Science, стр. 114-134. Springer, (2019)