formal modelling

Formal modelling of the impact of cyber attacks on railway safety
Modern railway signaling extensively relies on wireless communication technologies for efficient operation. The communication …
Ehsan Poorhadi, Elena Troubitsyna, György Dán
PDF Cite
Formalising the impact of security attacks on IoT safety
Modern safety-critical systems become increasingly networked and interconnected. Often the communication between the system components …
Ehsan Poorhadi, Elena Troubitsyna, György Dán
PDF Cite