Skip to content
@ventynet

ventynet

Pinned Loading

  1. ventynet ventynet Public

    Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23

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
    0 MIT 0 0 0 Updated Oct 22, 2023
  • 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
    C 1 GPL-3.0 0 0 0 Updated Sep 5, 2023

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…