Taxonomic Search: Sriram Sankaranarayanan

7 results

Results

file

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

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

video

Visible to the public Analyzing Human User Interactions with Cyber-Physical Systems