Majma, N. and S.M. Babamir, 2020. Model-based monitoring and adaptation of pacemaker behavior using hierarchical fuzzy colored petri-nets. IEEE Trans. Syst. Man Cybern. Syst., 50: 3344-3357. CrossRef | Direct Link |
Majma, N., S.M. Babamir and A. Monadjemi, 2017. Runtime verification behavior using hierarchical fuzzy colored petri-nets. J. Med. Syst. .
Majma, N. and S.M. Babamir, 2013. Specification and verification of medical monitoring system using petri-nets. J. Med. Signal Sens., 4: 181-193. PubMed | Direct Link |
Majma, N. and A. Baraani, 2009. CSSM: Concept and straurural similarity method. J. Theoret. Applied Inform. Technol. .