8. SERENE 2016: Gothenburg, Sweden

Mission-critical Systems

Verification

Engineering Resilient Systems

Testing

maintained by Schloss Dagstuhl LZI, founded at University of Trier