Towards organ-centric compositional development of safe networked supervisory medical systems.

Woochul Kang, Po-Liang Wu, Maryam Rahmaniheris, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman

Browse the full CBMS paper archive.