Title	Formal Dynamic Operational Model of RIS Components
Author	Nazir Ahmad Zafar
Citation	Vol. 11  No. 9  pp. 91-97
Keywords	Formal methods, Operational model, Railway interlocking, Z notation

Title	Mobility and QoS Management in Heterogeneous Wireless Networks
Author	Sarra Benoubira, Mounir Frikha, Sami Tabbane
Citation	Vol. 11  No. 9  pp. 82-90
Keywords	heterogeneous wireless networks, coupling, HMIPv6, QoS, MRSVP, handover

Title	Design and Simulation of a SP4T Switch Based on The PIN Diode Suitable For UMTS Use
Author	Tomader Mazri, Fatima Riouch, Najiba El Amrani El Idrissi
Citation	Vol. 11  No. 9  pp. 77-81
Keywords	SPNT Switch, SPDT Switch, SP4T Switch, PIN Diode, Adaptive Microstrip Antennas

Title	A Frame Work on Early Reliability Assessment
Author	Debasis Mohapatra, Sasmita Rani Behera, Ranumayee Sing
Citation	Vol. 11  No. 9  pp. 73-76
Keywords	Use Case, Fault Tree, Composed Tree, Cut-Set