An attempt at modeling a mechanical ventilator with real time constraints using SCADE.
This is related to the formal verification work done in [2023 Cuartas et al. "Formal Verification of a Mechanical Ventilator using UPPAAL" CITATION PENDING]
-
Notifications
You must be signed in to change notification settings - Fork 0
An attempt at modeling a mechanical ventilator with real time constraints using SCADE.
License
ventynet/ventynet-SCADE
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
An attempt at modeling a mechanical ventilator with real time constraints using SCADE.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published