Amjad Gawanmeh1,3,∗, Usman Pervez2, Osman Hasan2,3
Computer Systems Science and Engineering, Vol.33, No.1, pp. 21-29, 2018, DOI:10.32604/csse.2018.33.021
Abstract Electrocardiography (ECG) is a heart signal wave that is recorded using medical sensors, which are normally attached to the human body by the heart.
ECG waves have repetitive patterns that can be efficiently used in the diagnosis of heart problems as they carry several characteristics of heart operation.
Traditionally, the analysis of ECG waves is done using informal techniques, like simulation, which is in-exhaustive and thus the analysis results may lead
to ambiguities and life threatening scenarios in extreme cases. In order to overcome such problems, we propose to analyze ECG heart signals using
probabilistic model checking, which is a… More >
Login
Register
