8. SERENE 2016: Gothenburg, Sweden

Mission-critical Systems

Verification

Engineering Resilient Systems

Testing

a service of Schloss Dagstuhl - Leibniz Center for Informatics