Table 1 Rodin report
From: Formal approach to model complex adaptive computing systems
Element name | Total | Auto | Manual |
|---|---|---|---|
ATC system | 115 | 109 | 6 |
Context | 7 | 7 | 0 |
Machine | 108 | 102 | 6 |
From: Formal approach to model complex adaptive computing systems
Element name | Total | Auto | Manual |
|---|---|---|---|
ATC system | 115 | 109 | 6 |
Context | 7 | 7 | 0 |
Machine | 108 | 102 | 6 |