( 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.

Ajith Parameswaran

Jisesh Ajitha Sethunadh

Aman K K Bhasin

K Schweizerhof

K Schaber

 

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

Assertion Based Verification using Yosys: A Case Study from Nuclear Domain., , и . ISEC, стр. 16:1-16:5. ACM, (2023)Towards Parallel Boolean Functional Synthesis., , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 337-353. (2017)A layered algorithm for quantifier elimination from linear modular constraints., и . Formal Methods Syst. Des., 49 (3): 272-323 (2016)Quantifier Elimination for Linear Modular Constraints., и . ICMS, том 8592 из Lecture Notes in Computer Science, стр. 295-302. Springer, (2014)Expertise Identification Using Transformers., , , , и . COMAD/CODS, стр. 454-458. ACM, (2024)Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors., и . TACAS, том 7795 из Lecture Notes in Computer Science, стр. 78-92. Springer, (2013)A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations., и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 486-503. Springer, (2011)Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , и . SAFECOMP, том 4680 из Lecture Notes in Computer Science, стр. 491-504. Springer, (2007)