Show simple item record

Formalizing electrocardiogram (ECG) signal behavior in event-B

contributor authorAl-Hamadi, Hussam
contributor authorGawanmeh, Amjad
contributor authorAl-Qutayri, Mahmoud
date accessioned2020-03-12T22:17:34Z
date available2020-03-12T22:17:34Z
date issued2014
identifier other7001813.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1077936?show=full
formatgeneral
languageEnglish
publisherIEEE
titleFormalizing electrocardiogram (ECG) signal behavior in event-B
typeConference Paper
contenttypeMetadata Only
identifier padid8214205
subject keywordssecurity of data
subject keywordsn AMYNA
subject keywordsn MITRE ranking
subject keywordsn computer systems
subject keywordsn elevated security coverage
subject keywordsn high-level model
subject keywordsn memory-based attacks
subject keywordsn personalized optimum security solutions
subject keywordsn security generator framework
subject keywordsn zero-day attacks
subject keywordsn Computational modeling
subject keywordsn Computer architecture
subject keywordsn Libraries
subject keywordsn Load modeling
subject keywordsn Numerical models
subject keywordsn Real-time systems
subject keywordsn Security
subject keywordsn buffer overflow
subject keywordsn control-flow hijacking
subject keywordsn dynamic information flow tainting (DIFT)
subject keywordsn ho
identifier doi10.1109/IISA.2014.6878840
journal title-Health Networking, Applications and Services (Healthcom), 2014 IEEE 16th International Conference o
filesize507081
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record