20th FDL 2017: Verona, Italy

Session 1: Modeling and Simulation

Session 2: Languages and Design Methods for Time-critical Systems

Session 4: Design and Validation Methodologies

Session 5: Next generation Many-Cores

Session 6: Design, Optimization, and Verification of Modern Industry Applications

maintained by Schloss Dagstuhl LZI at University of Trier