Evidence E1.2.2.3.3.4.4.3.1.1.2.1.1.2 Guard requirements
[Back to main map]
Parent nodes:
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.1.1.2.1.1 The guard has undergone functional and non-functional testing which has confirmed its operation according to its requirements specification
Child nodes: