%0 Conference Paper %1 conf/healthcom/HamadiGA14 %A Hamadi, Hussam M. N. Al %A Gawanmeh, Amjad %A Al-Qutayri, Mahmoud %B Healthcom %D 2014 %I IEEE %K dblp %P 55-60 %T Formalizing electrocardiogram (ECG) signal behavior in event-B. %U http://dblp.uni-trier.de/db/conf/healthcom/healthcom2014.html#HamadiGA14 %@ 978-1-4799-6644-8

@inproceedings{conf/healthcom/HamadiGA14, added-at = {2018-11-30T00:00:00.000+0100}, author = {Hamadi, Hussam M. N. Al and Gawanmeh, Amjad and Al-Qutayri, Mahmoud}, biburl = {https://www.bibsonomy.org/bibtex/2a86f2b0200ff82653f542a3afe39a3f0/dblp}, booktitle = {Healthcom}, crossref = {conf/healthcom/2014}, ee = {https://doi.org/10.1109/HealthCom.2014.7001813}, interhash = {9010a1d1653083d1fb7c73b12b901644}, intrahash = {a86f2b0200ff82653f542a3afe39a3f0}, isbn = {978-1-4799-6644-8}, keywords = {dblp}, pages = {55-60}, publisher = {IEEE}, timestamp = {2019-10-17T16:48:31.000+0200}, title = {Formalizing electrocardiogram (ECG) signal behavior in event-B.}, url = {http://dblp.uni-trier.de/db/conf/healthcom/healthcom2014.html#HamadiGA14}, year = 2014 }