Integrated formal modelling

Automating an Analysis of Safety-Security Interactions for Railway Systems

Over recent years, the number of cyberattacks on safety-critical systems, including railways has been rapidly increasing. To analyze …

Ehsan Poorhadi, Elena Troubitsyna