( en | de | ru )

 

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

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

, , , , , , , , , und . FMAS, Volume 329 von EPTCS, Seite 23-30. (2020)

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

Pedro Pablo Muñoz Pradas

Juan Muñoz

Cesar A Hidalgo

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , und . IFM, Volume 7321 von Lecture Notes in Computer Science, Seite 343-357. Springer, (2012)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)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)Software Validation via Model Animation., , , und . TAP, Volume 9154 von Lecture Notes in Computer Science, Seite 92-108. Springer, (2015)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)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)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)Provably faithful evaluation of polynomials., und . SAC, Seite 1328-1332. ACM, (2006)