Formal specification and verification

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