National CPS PI Meeting 2011

file

Model-based Dependability Analysis of Medical Infusion Pumps

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