Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
| Author | |
| Year of Publication | 2014 |
| Book Title | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications |
| Volume | 8803 |
| Number of Pages | 391-403 |
| Publisher | Springer Berlin Heidelberg |
| ISBN Number | 978-3-662-45230-1 |
| URL | http://dx.doi.org/10.1007/978-3-662-45231-8_30 |
| DOI | 10.1007/978-3-662-45231-8_30 |
| Series Title | Lecture Notes in Computer Science |
| Download citation |