.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-06-25T20:19:00Z by OpenModelicaOpenModelica 1.26.9 using GenerateDoc.mos