Moataz Kamel
According to our database1,
Moataz Kamel
authored at least 3 papers
between 1999 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1999
2000
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
Int. J. Softw. Tools Technol. Transf., 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999