Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jaime Cuartas
conf.researchr.org general profile
ICST 2023 profile
SPLASH 2023 profile
Not registered as user
Name:
Jaime Cuartas
Country:
Colombia
Affiliation:
Universidad del Valle
Contributions
2023
FTSCS
Author of Formal Verification of a Mechanical Ventilator using UPPAAL within the FTSCS 2023-track
A-MOST
Author of MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL within the A-MOST 2023-track
Share
x
Sun 22 Dec 06:56