Title	Graph-Logic Models of Hierarchical Fault-Tolerant Multiprocessor Systems
Author	Alexei M. Romankevich, Kostiantyn V. Morozov, Vitaliy A. Romankevich
Citation	Vol. 19  No. 7  pp. 151-156
Keywords	fault-tolerant multiprocessor systems, graph-logic GL model models, reliability calculation

Title	Modeling and Executing a Guideline-based Clinical Decision Support System Using the PROforma Methodology
Author	Shaimaa Saud AL-Fleit and Abdullah Saad AL-Malaise AL-Ghamdi, Mohammed Osama Nassif
Citation	Vol. 19  No. 7  pp. 137-150
Keywords	Clinical decision-support systems(CDSSs), Clinical practice guidelines(CPGs), PROforma, Task network model(TNM), Knowledge-based systems.

Title	An Internet-of-Things Educational Platform
Author	Ibrahim S. Alsukayti
Citation	Vol. 19  No. 7  pp. 127-136
Keywords	Internet of Things, Wireless Sensor Networks, Educational Platform, IoT Cloud.

Title	A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box
Author	Umar Draz, Tariq Ali, Khurshid Asghar, Asis Jamal, Aiman Anum, Sarah Javed , Sana Yasin
Citation	Vol. 19  No. 7  pp. 116-126
Keywords	MANET Passive attacks, Vulnerable defense Formal Methods Security Verification & Validation VDM-SL, etc.