Skip to main content

Table 1 Rodin report

From: Formal approach to model complex adaptive computing systems

Element nameTotalAutoManual
ATC system1151096
Context770
Machine1081026