Formalising the Impact of Security Attacks on IoT Safety

von Poorhadi, Ehsan
Veröffentlicht in DECSoS (15. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Formal Modelling of the Impact of Cyber Attacks on Railway Safety

von Poorhadi, Ehsan
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B

von Poorhadi, Ehsan
Veröffentlicht in IMBSA (8. : 2022 : München) Model-based safety and assessment (2022)