( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Generation of Guard-Stable Floating-Point Code.

, , , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2020)

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.

César Muñoz

Manuel Muñoz-Expósito

Juan Muñoz

Pedro Pablo Muñoz Pradas

Cesar A Hidalgo

 

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

Provably faithful evaluation of polynomials., и . SAC, стр. 1328-1332. ACM, (2006)Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)Experimental Evaluation of a Planning Language Suitable for Formal Verification., , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2008)Software Validation via Model Animation., , , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 92-108. Springer, (2015)Real Number Calculations and Theorem Proving., и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2005)An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs., , , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 516-537. Springer, (2018)Formal verification of conflict detection algorithms., , , и . Int. J. Softw. Tools Technol. Transf., 4 (3): 371-380 (2003)Preface: special issue on NASA Formal Methods Symposium 2010.. Innov. Syst. Softw. Eng., 7 (2): 71-72 (2011)PVS#: Streamlined Tacticals for PVS., и . STRATEGIES@IJCAR, том 174 из Electronic Notes in Theoretical Computer Science, стр. 47-58. Elsevier, (2006)A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 343-357. Springer, (2012)