Towards organ-centric compositional development of safe networked supervisory medical systems
- Woochul Kang
- , Po Liang Wu
- , Maryam Rahmaniheris
- , Lui Sha
- , Richard B. Berlin
- , Julian M. Goldman
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution