Using formal methods to improve home-use medical device safety

Ayan Banerjee; Yi Zhang; Paul Jones; Sandeep Gupta

doi:10.2345/0899-8205-47.s1.43

Using formal methods to improve home-use medical device safety

Ayan Banerjee, Yi Zhang, Paul Jones, Sandeep Gupta

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	43-48
Number of pages	6
Journal	Biomedical Instrumentation and Technology
Volume	47
Issue number	SPRING
DOIs	https://doi.org/10.2345/0899-8205-47.s1.43
State	Published - Mar 2013

ASJC Scopus subject areas

Medicine(all)

Access to Document

10.2345/0899-8205-47.s1.43

Cite this

@article{7aec691573454ff999b47eee0241ba27,

title = "Using formal methods to improve home-use medical device safety",

author = "Ayan Banerjee and Yi Zhang and Paul Jones and Sandeep Gupta",

year = "2013",

month = mar,

doi = "10.2345/0899-8205-47.s1.43",

language = "English (US)",

volume = "47",

pages = "43--48",

journal = "Biomedical Instrumentation and Technology",

issn = "0899-8205",

publisher = "Association for the Advancement of Medical Instrumentation",

number = "SPRING",

}

TY - JOUR

T1 - Using formal methods to improve home-use medical device safety

AU - Banerjee, Ayan

AU - Zhang, Yi

AU - Jones, Paul

AU - Gupta, Sandeep

PY - 2013/3

Y1 - 2013/3

UR - http://www.scopus.com/inward/record.url?scp=84876819863&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84876819863&partnerID=8YFLogxK

U2 - 10.2345/0899-8205-47.s1.43

DO - 10.2345/0899-8205-47.s1.43

M3 - Article

C2 - 23600424

AN - SCOPUS:84876819863

SN - 0899-8205

VL - 47

SP - 43

EP - 48

JO - Biomedical Instrumentation and Technology

JF - Biomedical Instrumentation and Technology

IS - SPRING

ER -

Using formal methods to improve home-use medical device safety

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this