( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

, , , , и . SAFECOMP, том 4680 из Lecture Notes in Computer Science, стр. 491-504. Springer, (2007)

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.

Krishna Sharma

Anuradha Sharma

Tripti Sharma

Monica Sharma

Rahul Sharma

 

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

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , и . SAFECOMP, том 4680 из Lecture Notes in Computer Science, стр. 491-504. Springer, (2007)Low Glycemic Index Foods: A Resolution to Ameliorate Type 2 Diabetes, , , , и . Journal of Diabetes and Treatment, 6 (1): 09 (2021)Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems., , и . FoSSaCS, том 4423 из Lecture Notes in Computer Science, стр. 123-137. Springer, (2007)Bounded Validity Checking of Interval Duration Logic., , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 301-316. Springer, (2005)Assertion checking environment (ACE) for formal verification of C programs., , и . Reliab. Eng. Syst. Saf., 81 (3): 281-290 (2003)Assertion Checking Environment (ACE) for Formal Verification of C Programs., , и . SAFECOMP, том 2434 из Lecture Notes in Computer Science, стр. 284-295. Springer, (2002)Influence of Urea on Concrete. International Journal of Trend in Scientific Research and Development, 4 (2): 868-871 (февраля 2020)Accessories of Design. International Journal of Trend in Scientific Research and Development, 5 (4): 932-936 (июня 2021)