Towards Assurance for Plug & Play Medical Systems.

Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee

Browse the full SAFECOMP paper archive.