A computationally efficient formal method for discovering simutlaneous masking in medical alarms

ML Bolton, J Edworthy, AD Boyd, J Wei, X Zheng

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

2 Downloads (Pure)

Access to Document

@article{1a0187a84da24b5aaecf0bb33e067d0f,

title = "A computationally efficient formal method for discovering simutlaneous masking in medical alarms",

author = "ML Bolton and J Edworthy and AD Boyd and J Wei and X Zheng",

year = "2018",

month = dec,

day = "1",

doi = "10.1016/j.apacoust.2018.06.012",

language = "English",

volume = "141",

pages = "403--415",

journal = "Applied Acoustics",

issn = "0003-682X",

publisher = "Elsevier Ltd.",

number = "0",

}

TY - JOUR

T1 - A computationally efficient formal method for discovering simutlaneous masking in medical alarms

AU - Bolton, ML

AU - Edworthy, J

AU - Boyd, AD

AU - Wei, J

AU - Zheng, X

PY - 2018/12/1

Y1 - 2018/12/1

U2 - 10.1016/j.apacoust.2018.06.012

DO - 10.1016/j.apacoust.2018.06.012

M3 - Article

SN - 0003-682X

VL - 141

SP - 403

EP - 415

JO - Applied Acoustics

JF - Applied Acoustics

IS - 0

ER -