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