title: Using formal methods to improve home-use medical device safety.
authors.affiliation: Arizona State University, AZ, USA. abanerj3@asu.edu
authors.forename: Ayan
authors.initials: A
authors.lastname: Banerjee
authors.forename: Yi
authors.initials: Y
authors.lastname: Zhang
authors.forename: Paul
authors.initials: P
authors.lastname: Jones
authors.forename: Sandeep
authors.initials: S
authors.lastname: Gupta
mesh_terms: D004867:Equipment Design; D019544:Equipment Failure Analysis; D004869:Equipment Safety; D006804:Ergonomics; D006699:Home Care Services; D006701:Home Nursing; D006801:Humans; D019397:Pancreas, Artificial; D058996:Quality Improvement; D013673:Technology Assessment, Biomedical