Using formal methods to improve home-use medical device safety

Ayan Banerjee, Yi Zhang, Paul Jones, Sandeep Gupta

Research output: Contribution to journalArticlepeer-review

4 Scopus citations
Original languageEnglish (US)
Pages (from-to)43-48
Number of pages6
JournalBiomedical Instrumentation and Technology
Volume47
Issue numberSPRING
DOIs
StatePublished - Mar 2013

ASJC Scopus subject areas

  • General Medicine

Cite this