FRETting and Formal Modelling: A Mechanical Lung Ventilator.

Marie Farrell Matt Luckcuck Rosemary Monahan Conor Reynolds Oisín Sheridan

Published in: ABZ (2024)

Keyphrases

ct images
social networks
lung cancer
mathematical theory
data sets
databases
learning algorithm
information systems
natural language
finite element
ct scans
formal language