Dependable integrated clinical system architecture with runtime verification.

Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun

Browse the full ICCAD paper archive.