Nahid Ahmed

Princess Nourah Bint Abdulrahman University - Riyadh / Saudi Arabia

Engineering & Technology / Computer Science

AD Scientific Index ID: 5207077

جامعة الأميرة نورة بنت عبد الرحمن

Registration, Add Profile,
Premium Membership

Print Your Certificate

Nahid Ahmed's MOST POPULAR ARTICLES

1-) Alneelain: A formal specification languageNA Ali, AA Mirghani, AY Ibrahim2017 International Conference on Communication, Control, Computing and …, 201752017

2-) Automated Verification of Abstract Data TypesNAALI AHMEDSudan University of Science & Technology, 20172017

3-) Verifying abstract data types a hybrid approachN Ahmed2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONIC …, 20132013

ARTICLES

Add your articles