Formal Verification of a Mechanical Ventilator using UPPAAL

James Jerson Ortiz Vega; Jesus Alexander ARANDA BUENO; Jaime CUARTAS GRANADA; David Cortés; Joan Sebastian BETANCOURT ARIAS; José Isidro Garcia; Andrés Valencia

Formal Verification of a Mechanical Ventilator using UPPAAL

James Jerson Ortiz Vega, Jesus Alexander ARANDA BUENO, Jaime CUARTAS GRANADA, David Cortés, Joan Sebastian BETANCOURT ARIAS, José Isidro Garcia, Andrés Valencia

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

30 Téléchargements (Pure)

langue originale	Anglais
titre	9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
Etat de la publication	Publié - 22 oct. 2023
Evénement	International Workshop on Formal Techniques for Safety-Critical Systems - Cascais, Portugal, Durée: 22 oct. 2023 → … https://2023.splashcon.org/home/ftscs-2023

Comité scientifique

Comité scientifique	International Workshop on Formal Techniques for Safety-Critical Systems
période	22/10/23 → …
Adresse Internet	https://2023.splashcon.org/home/ftscs-2023

Accès au document

VentyNet-1Accepted author manuscript, 2,27 MB

Contient cette citation

@inproceedings{dccff24507734dad821b3e162be9d36c,

title = "Formal Verification of a Mechanical Ventilator using UPPAAL",

author = "{Ortiz Vega}, {James Jerson} and {ARANDA BUENO}, {Jesus Alexander} and {CUARTAS GRANADA}, Jaime and David Cort{\'e}s and {BETANCOURT ARIAS}, {Joan Sebastian} and Garcia, {Jos{\'e} Isidro} and Andr{\'e}s Valencia",

year = "2023",

month = oct,

day = "22",

language = "English",

booktitle = "9th ACM International Workshop on Formal Techniques for Safety-Critical Systems",

note = "International Workshop on Formal Techniques for Safety-Critical Systems ; Conference date: 22-10-2023",

url = "https://2023.splashcon.org/home/ftscs-2023",

}

Formal Verification of a Mechanical Ventilator using UPPAAL. / Ortiz Vega, James Jerson; ARANDA BUENO, Jesus Alexander; CUARTAS GRANADA, Jaime et al.
9th ACM International Workshop on Formal Techniques for Safety-Critical Systems. 2023.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - Formal Verification of a Mechanical Ventilator using UPPAAL

AU - Ortiz Vega, James Jerson

AU - ARANDA BUENO, Jesus Alexander

AU - CUARTAS GRANADA, Jaime

AU - Cortés, David

AU - BETANCOURT ARIAS, Joan Sebastian

AU - Garcia, José Isidro

AU - Valencia, Andrés

PY - 2023/10/22

Y1 - 2023/10/22

M3 - Conference contribution

BT - 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems

T2 - International Workshop on Formal Techniques for Safety-Critical Systems

Y2 - 22 October 2023

ER -