Claim C1.2.2.3.3.4.4.3.2.1.1.6 The SIF meets its functional and non functional requirements
[Back to main map]
Parent nodes:
Is a subclaim of
Argument
:
A1.2.2.3.3.4.4.3.2.1.1 Design and implementation of the Collision Avoidance SIF is adequate to prevent collision because...
Child nodes:
Has support
Argument
:
A1.2.2.3.3.4.4.3.2.1.1.6.1 The SIF has undergone functional and non-functional testing which has confirmed its operation according to its requirements specification