%0 Conference Paper %1 conf/ftscs/CuartasCBAGVO23 %A Cuartas, Jaime %A Cortés, David %A Betancourt, Joan S. %A Aranda, Jesús %A García, José I. %A Valencia, Andrés M. %A Ortiz, James %B FTSCS %D 2023 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I ACM %K dblp %P 2-13 %T Formal Verification of a Mechanical Ventilator using UPPAAL. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2023.html#CuartasCBAGVO23

@inproceedings{conf/ftscs/CuartasCBAGVO23, added-at = {2023-10-26T00:00:00.000+0200}, author = {Cuartas, Jaime and Cortés, David and Betancourt, Joan S. and Aranda, Jesús and García, José I. and Valencia, Andrés M. and Ortiz, James}, biburl = {https://www.bibsonomy.org/bibtex/22da0b5d5cd8dee176b2029d916c6a620/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2023}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1145/3623503.3623536}, interhash = {fbd66a305bc9b70a61a6993a13404ac6}, intrahash = {2da0b5d5cd8dee176b2029d916c6a620}, keywords = {dblp}, pages = {2-13}, publisher = {ACM}, timestamp = {2024-04-09T12:56:25.000+0200}, title = {Formal Verification of a Mechanical Ventilator using UPPAAL.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2023.html#CuartasCBAGVO23}, year = 2023 }