39th SAFECOMP 2020: Lisbon, Portugal

Refine list

showing all ?? records

Safety Cases and Argumentation

Formal Verification and Analysis

Security Modelling and Methods

Assurance of Learning-Enabled Systems

Practical Experience and Tools

Threat Analysis and Risk Mitigation

Cyber-Physical Systems Security

Fault Injection and Fault Tolerance

a service of  Schloss Dagstuhl - Leibniz Center for Informatics