Sara Bufo

According to our database, Sara Bufo authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.

Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014