Specification with Safety Assertion for Distributed Applications using Java RMI

K.-Y. Sung. Specification with Safety Assertion for Distributed Applications using Java RMI. In M. H. Hamza, editor, Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), August 13-16, 2001, Honolulu, Hawaii, USA. pages 351-356, IASTED/ACTA Press, 2001.

Abstract

Abstract is missing.