Login / Signup
Moataz Kamel
Publication Activity (10 Years)
Years Active: 1999-2000
Publications (10 Years): 0
</>
Publications
</>
Moataz Kamel
,
Stefan Leue
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
Int. J. Softw. Tools Technol. Transf.
2 (4) (2000)
Moataz Kamel
,
Stefan Leue
VIP: A Visual Editor and Compiler for v-Promela.
TACAS
(2000)
Moataz Kamel
,
Stefan Leue
VIP: A Visual Interface for Promela.
SPIN
(1999)