( en | de | ru )

 

Disambiguierung von "Muñoz, César A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

, , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 213-229. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

César Muñoz

Manuel Muñoz-Expósito

Juan Muñoz

Pedro Pablo Muñoz Pradas

Cesar A Hidalgo

 

Weitere Publikationen von Autoren mit dem selben Namen

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