Towards Assurance for Plug & Play Medical Systems

Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. Towards Assurance for Plug & Play Medical Systems. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 228-242, Springer, 2015. [doi]

Authors

Andrew L. King

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

Lu Feng

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

Sam Procter

This author has not been identified. Look up 'Sam Procter' in Google

Sanjian Chen

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

Oleg Sokolsky

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

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Insup Lee

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