Taxonomic Search: Sriram Sankaranarayanan

3 results

Results

file

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

Submitted by srirams on Fri, 10/05/2012 - 10:46am. Contributors:

Abstract

file

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

Submitted by Katie Dey on Fri, 11/04/2011 - 11:07am. Contributors:

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