Verifiable Aspect Composition in UML Models

Eunjee Song, Nathan V. Roberts. Verifiable Aspect Composition in UML Models. In Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan. pages 201-202, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.