Using Model Checking to Detect Simultaneous Masking in Medical Alarms

Authors

Keywords

Journal

Volume 46, Issue 2, Pages 174-185

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Online

2015-01-09

DOI

10.1109/thms.2014.2379661

Explore over 38,000 international journals covering a vast array of academic fields.

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now