A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

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]

Authors

Lu Feng

This author has not been identified. Look up 'Lu Feng' in Google

Andrew L. King

This author has not been identified. Look up 'Andrew L. King' in Google

Sanjian Chen

This author has not been identified. Look up 'Sanjian Chen' in Google

Anaheed Ayoub

This author has not been identified. Look up 'Anaheed Ayoub' in Google

Junkil Park

This author has not been identified. Look up 'Junkil Park' in Google

Nicola Bezzo

This author has not been identified. Look up 'Nicola Bezzo' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google