VTC_Signal (Atom)
Inheritance
Ancestors
BehaviorModelSignalPort
VTC_SignalPort
VTC_Signal
Remarks
Containment
Parents:
LTLSPEC_Requirement
,
PatternBased_Requirement
,
ProbabilisticCTL_Requirement
,
PropertyTGBA_Requirement
,
VTC_BusPortInterface
Connections
From node:
SignalPortMap
To node:
MapToVTC_Signal
Formal Specification
Structural Semantics:
CyPhyML.4ml
Annotated Specification:
ModelicaMappingExplained.4ml
Ancestors