( en | de | ru )

 

Disambiguation of "Cortés, David"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of a Mechanical Ventilator using UPPAAL.

, , , , , , and . FTSCS, page 2-13. ACM, (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

David Cortés

Andres Cortés

Vicente Cortés

Jesús González-Cortés

Vicente Cortés Suárez

 

Other publications of authors with the same name

Design Process: The Importance of Its Implementation., , and . IHSED, volume 1026 of Advances in Intelligent Systems and Computing, page 53-58. Springer, (2019)Formal Verification of a Mechanical Ventilator using UPPAAL., , , , , , and . FTSCS, page 2-13. ACM, (2023)Towards Autonomous Robotic Coral Reef Health Assessment., , , , , and . FSR, volume 113 of Springer Tracts in Advanced Robotics, page 95-108. Springer, (2015)A Quantitative and Comparative Evaluation of Key Points Selection Algorithms for Mobile Network Data Sets Analysis., , , and . IEEE Access, (2021)Boosting Holistic Cybersecurity Awareness with Outsourced Wide-Scope CyberSOC: A Generalization from a Spanish Public Organization Study., , , , and . Inf., 14 (11): 586 (2023)A Delay-Oriented Prioritization Policy Based on Cooperative Lossless Buffering in PTN Domains., , , and . J. Netw. Syst. Manag., 23 (4): 1016-1033 (2015)Mobility management in packet transport networks for network convergence., , , and . Trans. Emerg. Telecommun. Technol., 26 (5): 749-759 (2015)A Methodology for Network Analysis to Improve the Cyber-Physicals Communications in Next-Generation Networks., , , and . Sensors, 20 (8): 2247 (2020)3D trajectory synthesis and control for a legged swimming robot., , , , and . IROS, page 2257-2264. IEEE, (2014)Enhancing PTN to Improve the QoS Provided by the IP Mobility Management., , , , and . WorldCIST, volume 206 of Advances in Intelligent Systems and Computing, page 911-921. Springer, (2013)