VTC_SignalPort_Ref (Reference to
VTC_Signal
)
Inheritance
Ancestors
BehaviorModelSignalPort
VTC_SignalPort
VTC_SignalPort_Ref
Remarks
Containment
Parents:
LTLSPEC_Requirement
,
PropertyTGBA_Requirement
,
VTC_BusPortInterface
Connections
From node:
SignalPortMap
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors