.Modelica_Requirements.Examples.BackupPowerSupply

Example package to evaluate the requirements of the EDF Backup Power Supply benchmark (using a graphical definition)

Contents

Name Description
 MainPowerSupplyRequirements Evaluating the requirement definitions for the Main Power Supply system
 Components Utility components needed for Backup-Power-Supply examples
Generated at 2026-04-14T18:18:34Z by OpenModelicaOpenModelica 1.26.3 using GenerateDoc.mos