César Muñoz
Author
Institution Langley Research Center
Past institutions Langley Research Center, National Institute of Aerospace, Federico Villarreal National University, Dynamic Systems (United States), National Aeronautics and Space Administration +3 more
ORCID: Yes
H-index: 26
I10-index: 70
Works count: 206
Citations count: 3,442
The Coq proof assistant : reference manual, version 6.1
1997 · Bruno Barras, Samuel Boutin, et al.
An Overview of SAL
2000 · Saddek Bensalem, Vijay Ganesh, et al. · Formal Methods
DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems
2015 · César Muñoz, Anthony Narkawicz, et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)