Integrated approach

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B
Safety-critical control systems increasingly rely on networking technologies, which makes these systems vulnerable to cyber attacks …
Ehsan Poorhadi, Elena Troubitsyna, György Dán
PDF Cite