PCCOutput (Reference to
unit
)
Attributes
Attribute name
Description
MaxValue
Remarks
Selects the Metrics where the probabilistic distribution function will be generated.
Aspects
TestBenchCompositionAspect:
Driver
,
ParametricExploration
,
TestBenchSuite
Containment
Parents:
PCCDriver
Connections
To node:
PCCOutputMapping
Formal Specification
Structural Semantics:
CyPhyML.4ml