Using formal methods to improve home-use medical device safety

Ayan Banerjee, Yi Zhang, Paul Jones, Sandeep Gupta

Research output: Contribution to journalArticle

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

ASJC Scopus subject areas

  • Biomedical Engineering
  • Computer Networks and Communications

Cite this