29th SAFECOMP 2010: Vienna, Austria

Refine list

showing all ?? records

System Analysis

Safety Cases and Certi?cation


Error Detection

Validation and Verification


Critical Infrastructure - Smart Grid

Security and Safety

Safety Engineering (1)

Safety Engineering (2)

System Modelling and Fault Tolerance

Invited Talks (Keynote Abstracts)

a service of  Schloss Dagstuhl - Leibniz Center for Informatics