Biblio
Filters: Author is Jiang, Yu [Clear All Filters]
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.
.
2016.
Sepsis Patient Detection and Monitor Based on Auto-BN. Journal of Medical Systems. 40:111.
.
2016.
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. Journal of Medical Systems. 40:227.
.
2016.
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. Proceedings of the 8th ACM on Multimedia Systems Conference. :158–163.
.
2017.
Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. Journal of Medical Systems. 41:9.
.
2016.