Sana Shuja

Sana Shuja

University of Central Punjab - Lahore / Pakistan
Business & Management / Human Resource Management
AD Scientific Index ID: 404509
جامعہ وسطی پنجاب
person_outline Sana Shuja's MOST POPULAR ARTICLES
1-) A methodology for synthesizing formal specification models from requirements for refinement-based object code verificationEM Al-qtiemat, SK Srinivasan, MAL Dubasi, S ShujaThe Third International Conference on Cyber-Technologies and Cyber-Systems …, 201852018
2-) Improved Efficiency of Object Code Verification Using Statically Abstracted Object CodeN Shaukat, S Shuja, SK Srinivasan, S JabeenScientific Programming 2020, 20202020
3-) ASIC Design Implementation of Memory Efficient Infinite Impulse Response UWB EqualizerMF Siddiqi, MK Bhatti, S Shuja, S Jabeen, S Ahmad, A Iqbal, G Shafiq, ...PRZEGLAD ELEKTROTECHNICZNY 88 (3 B), 223-227, 20122012