VTC_State (Model)

Attributes

Attribute name Description
InitialState

Remarks

Containment

Children: Transition_Condition
Parents: PropertyTGBA_Requirement

Formal Specification

Structural Semantics: CyPhyML.4ml