Umberto Lucangelo

Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L., et al. (2014). Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Vol. 8803, pp. 391-403). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-45231-8_30