BibTeX record conf/ftscs/CuartasCBAGVO23

• > Home > conf/ftscs/CuartasCBAGVO23

@inproceedings{DBLP:conf/ftscs/CuartasCBAGVO23,
  author       = {Jaime Cuartas and
                  David Cort{\'{e}}s and
                  Joan S. Betancourt and
                  Jes{\'{u}}s Aranda and
                  Jos{\'{e}} I. Garc{\'{\i}}a and
                  Andr{\'{e}}s M. Valencia and
                  James Ortiz},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal Verification of a Mechanical Ventilator using {UPPAAL}},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
                  Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
                  22 October 2023},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623503.3623536},
  doi          = {10.1145/3623503.3623536},
  timestamp    = {Thu, 26 Oct 2023 16:22:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/CuartasCBAGVO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}