Login / Signup
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
Moataz Kamel
Stefan Leue
Published in:
Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases
</>
special case
lightweight
real time
learning algorithm
closely related
formal analysis
formal model