• Sign in
  • Sign up
conf.researchr.org / David Cortés
  • ICSE 2024 profile
  • SPLASH 2023 profile
No Photo

Registered user since Thu 14 Sep 2023

Name:David Cortés
Country:Colombia

Contributions

2024

FormaliSE

  • Author of Time for Networks: Mutation Testing for Timed Automata Networks within the FormaliSE 2024-track

2023

FTSCS

  • Author of Formal Verification of a Mechanical Ventilator using UPPAAL within the FTSCS 2023-track
Share
xThu 22 May 04:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up