VTC_BusPortInterface (Model)
Remarks
Containment
Children:
VTC_Signal
,
VTC_SignalPort
,
VTC_SignalPort_Ref
Parents:
LTLSPEC_Requirement
,
PatternBased_Requirement
,
ProbabilisticCTL_Requirement
,
PropertyTGBA_Requirement
Formal Specification
Structural Semantics:
CyPhyML.4ml