Formal techniques in the safety analysis of software components of a new dialysis machine

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

Original language	English
Pages (from-to)	17-34
Journal	Science of Computer Programming
Volume	175
DOIs	https://doi.org/10.1016/j.scico.2019.02.003
Publication status	Published - 2019

Access to Document

@article{b87d929e73724584bf8d37b3bc806e88,

title = "Formal techniques in the safety analysis of software components of a new dialysis machine",

author = "M.D. Harrison and L. Freitas and M. Drinnan and J.C. Campos and P. Masci and \{di Maria\}, C. and M. Whitaker",

year = "2019",

doi = "10.1016/j.scico.2019.02.003",

language = "English",

volume = "175",

pages = "17--34",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Formal techniques in the safety analysis of software components of a new dialysis machine

AU - Harrison, M.D.

AU - Freitas, L.

AU - Drinnan, M.

AU - Campos, J.C.

AU - Masci, P.

AU - di Maria, C.

AU - Whitaker, M.

PY - 2019

Y1 - 2019

UR - https://www.scopus.com/pages/publications/85061447333

U2 - 10.1016/j.scico.2019.02.003

DO - 10.1016/j.scico.2019.02.003

M3 - Article

SN - 0167-6423

VL - 175

SP - 17

EP - 34

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -