Example package to evaluate the requirements of the EDF Backup Power Supply benchmark (using a graphical definition)
Name | Description |
---|---|
MainPowerSupplyRequirements | Evaluating the requirement definitions for the Main Power Supply system |
Components | Utility components needed for Backup-Power-Supply examples |