RequirementParameter (Atom)
Attributes
Attribute name
Description
Max
Remarks
Containment
Parents:
LTLSPEC_Requirement
,
PatternBased_Requirement
,
PropertyTGBA_Requirement
Formal Specification
Structural Semantics:
CyPhyML.4ml