Common use of CORAS representation Clause in Contracts

CORAS representation. The CORAS fragment is identical to Figure 16 presented in Section 7.2.1.

CORAS representation. The CORAS fragment is identical to Figure 16 18 presented in Section 7.2.17.3.1.

CORAS representation. The CORAS fragment is identical to Figure 16 13 presented in Section 7.2.17.1.1.

CORAS representation. The CORAS fragment is identical to Figure 16 20 presented in Section 7.2.17.4.1.

CORAS representation. The CORAS fragment is identical to Figure 16 22 presented in Section 7.2.17.5.1.