( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Systematic testing of asynchronous reactive systems.

, , и . ESEC/SIGSOFT FSE, стр. 73-83. ACM, (2015)

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.

Nawal Zohdy El- Shazly

Samir Shazly

Nayla Samina Shazi

Roohul-Qadeer Hamid

 

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

Goldilocks: a race and transaction-aware java runtime., , и . PLDI, стр. 245-255. ACM, (2007)Types for atomicity., и . TLDI, стр. 1-12. ACM, (2003)Fast and Reliable Formal Verification of Smart Contracts with the Move Prover., , , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 183-200. Springer, (2022)Formal specification and verification of a dataflow processor array., , , и . ICCAD, стр. 494-499. IEEE Computer Society, (1999)Verifying a self-stabilizing mutual exclusion algorithm., и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 424-443. Chapman & Hall, (1998)Context-Bounded Model Checking of Concurrent Software., и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 93-107. Springer, (2005)MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)Call Invariants., и . NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 237-251. Springer, (2011)VIS: A System for Verification and Synthesis., , , , , , , , , и 6 other автор(ы). CAV, том 1102 из Lecture Notes in Computer Science, стр. 428-432. Springer, (1996)Programming Safe Robotics Systems: Challenges and Advances., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2018)