Formalizing electrocardiogram (ECG) signal behavior in event-B.

Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri

Browse the full HealthCom paper archive.