Taxonomic Search: Clayton Lewis

6 results

Results

file

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

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