.VVDRlib.Verification

Contents

Name Description
 VerificationModel
 Scenario A scenario defines the course of actions to be simulated. It emulates the user or external events that will be experienced by the system.
 Requirement
 Design A particular design alternative or version is represented by a model to be used for verification against requirements.

Generated at 2021-02-24T01:59:16Z by OpenModelicaOpenModelica 1.18.0~dev-65-g9ac6586 using GenerateDoc.mos