Formale Verifizierung von FDIR im Smart Grid
-
pocket
,
Tyska, 2023