( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Temporal Differential Dynamic Logic Formal Embedding.

, , , и . CPP, стр. 162-176. ACM, (2024)

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

 

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

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)Real Number Calculations and Theorem Proving., и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2005)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)A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 343-357. Springer, (2012)Provably faithful evaluation of polynomials., и . SAC, стр. 1328-1332. ACM, (2006)A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems., и . TAP@STAF, том 12165 из Lecture Notes in Computer Science, стр. 155-166. Springer, (2020)Aircraft Trajectory Modeling and Altering Algorithm Verification., и . TPHOLs, том 1869 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2000)PVS#: Streamlined Tacticals for PVS., и . STRATEGIES@IJCAR, том 174 из Electronic Notes in Theoretical Computer Science, стр. 47-58. Elsevier, (2006)