( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Random testing and model checking: building a common framework for nondeterministic exploration.

, и . WODA, стр. 22-28. ACM, (2008)

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.

Rajeev Sudra

Jidnyasa Joshi

Rajeev Gangula

Ravi Joshi

Vishnuprakash Joshi

 

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

Automated policy-based resource construction in utility computing environments., , , и . NOMS (1), стр. 381-393. IEEE, (2004)A Semantic Approach to Secure Information Flow., и . MPC, том 1422 из Lecture Notes in Computer Science, стр. 254-271. Springer, (1998)Model-Driven Software Verification., и . SPIN, том 2989 из Lecture Notes in Computer Science, стр. 76-91. Springer, (2004)Theorem Proving Using Lazy Proof Explication., , , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 355-367. Springer, (2003)Simulated Annealing Based Integerization of Hidden Weights for Area-Efficient IoT Edge Intelligence., , и . iSES, стр. 427-432. IEEE, (2022)Analysis of Radiation Impact on Memristive Crossbar Arrays., , и . LASCAS, стр. 1-4. IEEE, (2020)Model driven code checking., , и . Autom. Softw. Eng., 15 (3-4): 283-297 (2008)Experience with Rule-Based Analysis of Spacecraft Logs., и . FTSCS, том 476 из Communications in Computer and Information Science, стр. 1-16. Springer, (2014)Modeling and Monitoring of Hierarchical State Machines in Scala., и . SERENE, том 10479 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2017)Annotation inference for modular checkers., , и . Inf. Process. Lett., 77 (2-4): 97-108 (2001)