The Mechanical Lung Ventilator as a Z-to-B educational case study
In this paper we outline how we plan to use the Mechanical Lung Ventilator, which is the case study for ABZ 2024, as a running case study in a new one-week course on state-based modelling. The new course, which takes students from the mathematical language of Z to the B-Method --- via the schema la...
| Main Author: | |
|---|---|
| Format: | Working paper |
| Language: | English |
| Published: |
2023
|