Blar i NTNU Open på forfatter "Radi, Selsebil Alhoda"
-
Combining System-Theoretic Process Analysis with formal verification for safety demonstration of an all-electric actuation system
Radi, Selsebil Alhoda (Master thesis, 2023)Komplekse sikkerhetssystemer blir stadig mer synlige i industriløsninger, noe som nødvendiggjør mer avanserte metoder for sikkerhetsanalyse. Det er særlig relevant ved utforskningen av nye tilnærminger for sikkerhetsventiler ...