Formal Modelling of the Impact of Cyber Attacks on Railway Safety.

Ehsan Poorhadi, Elena Troubitysna, Gyrgy Dn

Browse the full SAFECOMP paper archive.