Loading...
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.
Loading...
Name
IC_TECH_REPORT_200141.pdf
Access type
openaccess
Size
18.18 KB
Format
Adobe PDF
Checksum (MD5)
2754f4bd6675f17ca2fed438bd125834
Loading...
Name
TR01_041.pdf
Access type
openaccess
Size
18.54 KB
Format
Adobe PDF
Checksum (MD5)
137d083996a4b424e1a58d6c2a9d5535