.Modelica_Requirements.Examples.BackupPowerSupply

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

Contents

NameDescription
MainPowerSupplyRequirementsEvaluating the requirement definitions for the Main Power Supply system
ComponentsUtility components needed for Backup-Power-Supply examples

Generated at 2025-12-08T19:14:02Z by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos