Transition_Condition (Model)
Inheritance
Ancestors
Condition_Type
Transition_Condition
Attributes
Attribute name
Description
Acceptance_Transition
Remarks
Containment
Parents:
VTC_State
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors