共 50 条
- [32] A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 2023 IEEE/ACM 11TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2023, : 120 - 129
- [40] LOW-VOLTAGE SYSTEMS AND NAS BATTERIES ERDOL & KOHLE ERDGAS PETROCHEMIE, 1987, 40 (11): : 456 - 457