You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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]
About
An attempt at modeling a mechanical ventilator with real time constraints using SCADE.