Andrés M. Valencia

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Mechanical Design

Orders Of Magnitude

Formal Verification

Top Venues

Publications

Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
Formal Verification of a Mechanical Ventilator using UPPAAL. FTSCS (2023)