Title	Formal Network Designs for Critical Network Security Systems
Author	Dea-Woo Park
Citation	Vol. 6  No. 4  pp. 172-178
Keywords	Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods

Title	Transformation of Class Diagrams into Formal Specification
Author	Nazir Ahmad Zafar, Fahad Alhumaidan
Citation	Vol. 11  No. 5  pp. 289-295
Keywords	UML, Class diagrams, Formal methods, Z notation, Integration, Validation

Title	Modeling and Analysis of MAPE-K loop in Self Adaptive Systems using Petri Nets
Author	Natash Ali Mian, Farooq Ahmad
Citation	Vol. 17  No. 12  pp. 158-163
Keywords	Feedback loop, Formal Methods, MAPE-K, Petri nets, Self-adaptive systems

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