Refinement

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