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
Issue numberSPRING
StatePublished - Mar 2013

ASJC Scopus subject areas

  • Biomedical Engineering
  • Computer Networks and Communications

Cite this