Determining-Tolerable-Attack-Surfaces-that-Preserves-Safety-of-Cyber-Physical-Systems.pdf Download Tags: attacker model automata Communication system signaling cyber-physical system cyber-physical system safety cyber-physical systems formal verification parameterizable state automaton templates Rail transportation railway signaling system Safety safety analysis safety-critical software Safety-Critical Systems security Security analysis Servers software fault tolerance timed automata tracking Monitoring, Fusion, and Response for Cyber Resilience License: Creative Commons 2.5 Submitted by Anonymous on Wed, 01/29/2020 - 17:10