36th SAFECOMP 2017: Trento, Italy

Dynamic Fault Trees

Safety Case and Argumentation

Formal Verification

Autonomous Systems

Static Analysis and Testing

Safety Analysis and Assessment

Safety and Security

maintained by Schloss Dagstuhl LZI, founded at University of Trier