.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-05-04T18:18:56Z by OpenModelicaOpenModelica 1.26.7 using GenerateDoc.mos