[1]
|
D. Singhal, M. Kunapareddy, V. Chetlapalli, V. B. James and N. Akhtar, “LTE-Advanced: Handover Interruption Time Analysis for IMT-A Evaluation,” Proceedings of International Conference on Signal Processing, Communication, Computing and Networking Technologies, Thuckafay, 21-22 July 2011, pp. 81-85.
Hdoi:10.1109/ICSCCN.2011.6024519
|
[2]
|
Z. Bai, C. Spiegel, G. H. Bruck, P. Jung, M. Horvat, J. Berkmann, C. Drewes and B. Gunzelmann, “System Performance of UTRA LTE and LTE-Advanced,” International Conference on Communications, Computing and Control Applications (CCCA), Hammamet, 3-5 March 2011, pp. 1-5.
|
[3]
|
Y. Wang, K. I. Pedersen, P. E. Mogensen and T. B. S?rensen, “Resource Allocation Considerations for Multi-Carrier LTE-Advanced Systems Operating in Backward Compatible Mode,” IEEE 20th International Symposium on Personal, Indoor, and Mobile Radio Communications, Tokyo, 13-16 September 2009, pp. 370-374.
|
[4]
|
N. A. Zafar, U. Tajammul and N. Sabir, “Formal Specification of Call Setup Procedure of UMTS Communications System,” Proceedings of International Conference on Communication Software and Networks (ICCSN09), Macau, 27-28 February 2009.
|
[5]
|
N. A. Zafar and U. Tajammul, “Handover Based Formal Dynamic Model of UMTS Communication System,” Proceedings of 4th International Computer Engineering Conference, Cairo, 29-30 December 2008, pp. 1-6.
|
[6]
|
S. Tariq and N. A. Zafar, “Modeling of Wireless Mobile Communication System Using Z Notation,” Proceedings of the 1st International Conference on Computer, Control and Communication (IC4), Karachi, 12-13 November 2007.
|
[7]
|
S. Ahmed, A. K. Ramani and N. A. Zafar, “Formal Analysis of Mobility Management for Ad Hoc Networks,” Proceedings of the International Conference on Wireless Networks (ICWN’11), Las Vegas, 18-21 July 2011, pp. 173-179.
|
[8]
|
R. Milner, “Communicating and Mobile Systems: The π-Calculus,” Cambridge University Press, Cambridge, 1999.
|
[9]
|
S. Acharya, C. George and H. Mohanty, “Domain Consistency in Requirements Specification,” Proceedings of the 5th International Conference on Quality Software, Melbourne, 19-20 September 2005, pp. 231-238.
Hdoi:10.1109/QSIC.2005.24
|
[10]
|
K. Taguchi and J. S. Dong, “An Overview of Mobile Object-Z,” Springer-Verlag, New York, 2002, pp. 144-155.
|
[11]
|
M. Bettaz and M. Maouche, “Towards Mobile Z Schemas,” International Journal of Computer Science and Application, Vol. 11, No. 11, 2005, pp. 101-117.
|
[12]
|
R. Duke, P. King, G. Rose and G. Smith, “The Object-Z Specification Language,” University of Queensland, Brisbane, 1991.
|
[13]
|
M. Bettaz and M. Maouche, “Mobile Z Notation,” Research Report, Philadelphia University, Philadelphia, 2002.
|
[14]
|
3GPP TR 25.913, “Requirements for Evolved UTRA and Evolved UTRAN,” V7.3.0 2006.
|
[15]
|
3GPP TS 23.401, “GPRS Enhancements on EUTRAN Access,” 2007. http://www.3gpp.org
|
[16]
|
Alcatel Lucent, “The LTE Network Architecture—A Comprehensive Tutorial,” 2009. www.alcatel-lucent.com
|
[17]
|
M. M. A. Airchinnigh and M. Butler, “Service Specification Using Z,” Technical Report, University of Southampton, Southampton, 1993.
http://eprints.soton.ac.uk/253693
|
[18]
|
R. Cam and S. Vuong, “A Formal Specification in LOTOS, of a Simplified Cellular Mobile Communication System,” Formal Description Techniques-II (FORTE’89), North- Holland Publishing Co., Amsterdam, 1990, pp. 485-499.
|
[19]
|
L. Chen, et al., “System Level Simulation Methodology and Platform for Mobile Cellular Systems,” IEEE Communication Magazine, Vol. 49, No. 7, pp. 148-155.
2011.
|
[20]
|
K. Doppler, “Device-To-Device Communication as an Underlay to LTE Advanced Networks,” IEEE Communication Magazine, Vol. 47, No. 12, pp. 42-49.
|
[21]
|
Y. Sun, “Editorial Advanced Signal Processing for Wireless and Mobile Communications,” IET Signal Processing, Vol. 3, No. 6, 2009, pp. 431-432.
|
[22]
|
J. M. Wing, “A Specifier’s Introduction to Formal Methods,” IEEE Computer, Vol. 23, No. 9, 1990, pp. 8-24.
|
[23]
|
H. Luo, et al., “Quality Driven Cross Layer Optimized Video Delivery over LTE,” IEEE Communication Magazine, Vol. 48, No. 2, 2010, pp. 102-109.
|
[24]
|
I. A. Choudhry, N. A. Zafar and M. Zahrani, “Validating Statistics of Long Term Evolution Mobile Communications System,” Proceedings of the 2012 International Conference on Modeling, Simulation and Visualization Methods, Las Vegas, 16-19 July 2012, pp. 201-206.
|