Negar Majma, Seyed Morteza Babamir, AmirHassan Monadjemi. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. J. Medical Systems, 41(2), 2017. [doi]
@article{MajmaBM17,
title = {Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets},
author = {Negar Majma and Seyed Morteza Babamir and AmirHassan Monadjemi},
year = {2017},
doi = {10.1007/s10916-016-0664-5},
url = {http://dx.doi.org/10.1007/s10916-016-0664-5},
researchr = {https://researchr.org/publication/MajmaBM17},
cites = {0},
citedby = {0},
journal = {J. Medical Systems},
volume = {41},
number = {2},
}