Title	Mathematical Model of a Compact Dual Band Implantable Antennas for Telemedicine Monitoring Devices
Author	Zafar Iqbal, Tahreem Saeed, Ahsan Humayun and Tariq Rafiq
Citation	Vol. 18  No. 8  pp. 52-56
Keywords	Biosensor Antennas, Biotelemetry Products, Miniaturized, Serpentine, Radiation patch, MICS, ISM, Formal Methods, VDM-SL

Title	Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs
Author	Zafar Iqbal, Tahreem Saeed, Tariq Rafiq and Ahsan Humayun
Citation	Vol. 18  No. 8  pp. 57-64
Keywords	Wireless Ad hoc Networks, MANETs, Routes Management, ad hoc routing, Route failure, Route Recovery, Formal Methods, VDM-SL

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.