Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri. Formalizing electrocardiogram (ECG) signal behavior in event-B. In 16th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2014, Natal-RN, Brazil, October 15-18, 2014. pages 55-60, IEEE, 2014. [doi]
Abstract is missing.