Assuring the safety of on-demand medical cyber-physical systems

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]

@inproceedings{KingFSL13-0,
  title = {Assuring the safety of on-demand medical cyber-physical systems},
  author = {Andrew L. King and Lu Feng and Oleg Sokolsky and Insup Lee},
  year = {2013},
  doi = {10.1109/CPSNA.2013.6614238},
  url = {http://doi.ieeecomputersociety.org/10.1109/CPSNA.2013.6614238},
  researchr = {https://researchr.org/publication/KingFSL13-0},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, August 19-20, 2013},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4799-0798-4},
}