 | 2010 |
|---|
| 10 |       | Hazem El-Gendy,
Osman Ibrahim,
Nabil El-Kadhi,
Narayan C. Debnath:
Management scheme for intelligent terminals for the information super-highways.
AICCSA 2010: 1-6 |
| 9 | | Hazem El-Gendy:
Towards ISO interface protocol for interactive multimedia intelligent terminals.
AICCSA 2010: 1-6 |
| 2009 |
|---|
| 8 | | Hazem El-Gendy,
Ahmed Samir,
Mahmoud Gebriel,
Narayan C. Debnath,
Nabil El-Kadhi:
Towards mosques management information system.
AICCSA 2009: 191-198 |
| 7 | | Hazem El-Gendy:
Formal development of universal protocol implementations conformance statement proforma.
AICCSA 2009: 317-321 |
| 2008 |
|---|
| 6 |  | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal Automated Transformation of SDL Specifications to Estelle Specifications.
Computers and Their Applications 2008: 136-141 |
| 5 | | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Formal automated transformation of SDL specifications to Lotos specifications.
ISCC 2008: 519-524 |
| 4 | | Hazem El-Gendy,
Nabil El-Kadhi,
Narayan C. Debnath:
Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.
ISCC 2008: 643-648 |
| 2005 |
|---|
| 3 | | Hazem El-Gendy,
Nabil El-Kadhi:
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications.
International Journal of Software Engineering and Knowledge Engineering 15(5): 873-892 (2005) |
| 1998 |
|---|
| 2 | | Hazem El-Gendy,
Hani El-Sayed,
Abdel-Wahab Fayez:
Transformation of estelle specifications to lotos specifications.
Computers and Their Applications 1998: 82-84 |
| 1 | | Hazem El-Gendy,
Robert L. Probert:
Conformance testing requirements for formal development of testability-directed PICSP.
Computers and Their Applications 1998: 85-88 |
Data released under the ODC-BY 1.0 license — See also our legal information page