Using Model Checking to Detect Simultaneous Masking in Medical Alarms.

Fri, 01 Jan 2016 00:00:00 +0100

Bassam Hasanain, Andrew D. Boyd , Matthew L. Bolton :
Using Model Checking to Detect Simultaneous Masking in Medical Alarms. IEEE Trans. Hum. Mach. Syst. 46(2): 174-185 (2016)