InputRangeGuarantee_BusPortMap_Container (Model)

Remarks

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow
TBRequirementsAspect: TestBench

Containment

Children: InputRangeGuarantee
Parents: TestBench

Formal Specification

Structural Semantics: CyPhyML.4ml