Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
- 1 March 2000
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 2 (4) , 394-409
- https://doi.org/10.1007/s100090050045
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: