An Event-B Model of a Mechanical Lung Ventilator.

Published in: ABZ (2024)

Keyphrases

computational model
probabilistic model
formal model
theoretical framework
high level
objective function
theoretical analysis
experimental data
data sets
machine learning
management system
medical images
mathematical model
event detection