Login / Signup

Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.

Moataz KamelStefan Leue
Published in: Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases
  • special case
  • lightweight
  • real time
  • learning algorithm
  • closely related
  • formal analysis
  • formal model