.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-07-05T18:59:05Z by OpenModelicaOpenModelica 1.27.0 using GenerateDoc.mos