Edinburgh Research Explorer

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. / Bufo, Sara; Bartocci, Ezio; Sanguinetti, Guido; Borelli, Massimo; Lucangelo, Umberto; Bortolussi, Luca.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. p. 391-403 (Lecture Notes in Computer Science; Vol. 8803).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bufo, S, Bartocci, E, Sanguinetti, G, Borelli, M, Lucangelo, U & Bortolussi, L 2014, Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Lecture Notes in Computer Science, vol. 8803, Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 391-403. DOI: 10.1007/978-3-662-45231-8_30

APA

Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., & Bortolussi, L. (2014). Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (pp. 391-403). (Lecture Notes in Computer Science; Vol. 8803). Berlin, Heidelberg: Springer Berlin Heidelberg. DOI: 10.1007/978-3-662-45231-8_30

Vancouver

Bufo S, Bartocci E, Sanguinetti G, Borelli M, Lucangelo U, Bortolussi L. Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Berlin, Heidelberg: Springer Berlin Heidelberg. 2014. p. 391-403. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-662-45231-8_30

Author

Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca. / Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. editor / Tiziana Margaria ; Bernhard Steffen. Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. pp. 391-403 (Lecture Notes in Computer Science).