Topology-Based Safety Analysis for Safety Critical Cyber-Physical Systems

Publication
Procedia Computer Science, Complex Adaptive Systems Conference, Los Angeles, USA