ventynet
Pinned Loading
Repositories
Showing 2 of 2 repositories
- ventynet Public
Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23
ventynet/ventynet’s past year of commit activity - ventynet-SCADE Public
An attempt at modeling a mechanical ventilator with real time constraints using SCADE.
ventynet/ventynet-SCADE’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…