Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee. A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. In Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, editors, 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. Volume 36 of OASICS, pages 94-99, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
@inproceedings{FengKCAPBSL14, title = {A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal}, author = {Lu Feng and Andrew L. King and Sanjian Chen and Anaheed Ayoub and Junkil Park and Nicola Bezzo and Oleg Sokolsky and Insup Lee}, year = {2014}, doi = {10.4230/OASIcs.MCPS.2014.94}, url = {http://dx.doi.org/10.4230/OASIcs.MCPS.2014.94}, researchr = {https://researchr.org/publication/FengKCAPBSL14}, cites = {0}, citedby = {0}, pages = {94-99}, booktitle = {5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014}, editor = {Volker Turau and Marta Z. Kwiatkowska and Rahul Mangharam and Christoph Weyer}, volume = {36}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-66-8}, }