Files

Abstract

This paper presents the Alloy code for the formalization of “RM-ODP part 2: Foundations”. The formalization is defined and explained in the separate work.

Details

Actions

Preview