Formal Verification of a Mechanical Ventilator using UPPAAL-Reference-Cited by-同舟云学术

Formal Verification of a Mechanical Ventilator using UPPAAL

Published:2023-10-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
language:
Short-container-title:

Author:

Cuartas Jaime¹,Cortés David¹,Betancourt Joan S.¹,Aranda Jesús¹,García José I.¹,Valencia Andrés M.¹,Ortiz James²

Affiliation:

1. Universidad del Valle, Cali, Colombia

2. University of Namur, Namur, Belgium

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3623503.3623536

Reference40 articles.

1. A theory of timed automata

2. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

3. Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project

4. Kendall E. Atkinson . 1989. An Introduction to Numerical Analysis ( second ed.). John Wiley & Sons , New York . isbn:0471500232 http://www.worldcat.org/isbn/0471500232 Kendall E. Atkinson. 1989. An Introduction to Numerical Analysis (second ed.). John Wiley & Sons, New York. isbn:0471500232 http://www.worldcat.org/isbn/0471500232

5. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (Representation and Mind Series) . The MIT Press . isbn:026 2026 49X Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press. isbn:026202649X

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems;Ingeniería y Competitividad;2023-11-29