Rigorous Automated Verification of Protection Systems in LV Distribution Grids

التفاصيل البيبلوغرافية
العنوان: Rigorous Automated Verification of Protection Systems in LV Distribution Grids
المؤلفون: Mansour, A.N.A., Grillo, S., Ragaini, E., Rossi, M.
المصدر: 2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe), 2023 IEEE International Conference on. :1-6 Jun, 2023
Relation: 2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9798350347432
DOI:10.1109/EEEIC/ICPSEurope57605.2023.10194608