TY - ECHAP
AU - Sara Bufo
AU - Ezio Bartocci
AU - Guido Sanguinetti
AU - Massimo Borelli
AU - Umberto Lucangelo
AU - Luca Bortolussi
AU - Tiziana Margaria
AU - Bernhard Steffen
BT - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
DO - 10.1007/978-3-662-45231-8_30
LA - eng
PB - Springer Berlin Heidelberg
PY - 2014
SN - 978-3-662-45230-1
SP - 391
EP - 403
T2 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
T3 - Lecture Notes in Computer Science
TI - Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
UR - http://dx.doi.org/10.1007/978-3-662-45231-8_30
VL - 8803
ER -