Table 1 Rodin report
From: Formal modeling of a complex adaptive air traffic control system
Element name | Total | Auto | Manual |
|---|---|---|---|
Air traffic control | 205 | 184 | 21 |
Initial context | 5 | 5 | 0 |
First refinement context | 9 | 9 | 0 |
Second refinement context | 12 | 10 | 2 |
Initial machine | 45 | 42 | 3 |
First refinement machine | 66 | 58 | 8 |
Second refinement machine | 68 | 60 | 8 |