Visible to the public Model-based Dependability Analysis of Medical Infusion Pumps

Submitted by srirams on Fri, 11/04/2011 - 10:07am. Contributors:

NSF Project: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems

License: 
Creative Commons 2.5

Other available formats:

Model-based Dependability Analysis of Medical Infusion Pumps
Switch to experimental viewer