Assertion-based verification technique for ECG bio-sensor algorithms

Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri. Assertion-based verification technique for ECG bio-sensor algorithms. In IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016. pages 1-4, IEEE, 2016. [doi]

Authors

Hussam M. N. Al Hamadi

This author has not been identified. Look up 'Hussam M. N. Al Hamadi' in Google

Amjad Gawanmeh

This author has not been identified. Look up 'Amjad Gawanmeh' in Google

Mahmoud Al-Qutayri

This author has not been identified. Look up 'Mahmoud Al-Qutayri' in Google