Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. Assuring the safety of on-demand medical cyber-physical systems. In 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, August 19-20, 2013. pages 1-6, IEEE Computer Society, 2013. [doi]
Abstract is missing.