Vol. 74 (2017): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)

DOI: https://doi.org/10.14279/tuj.eceasst.74

Published: 2018-06-05

Articles

Handling Domain Knowledge in Design and Analysis of Engineering Models

Kahina Hacid, Yamine Ait-Ameur
- PDF
Model Extraction of Legacy C Code in SCCharts

Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
- PDF
Generating Optimal Decision Functions from Rule Specifications

Frederik Gossen, Tiziana Margaria
- PDF
Towards Reuse on the Meta-Level

Dominic Wirkner, Steve Boßelmann
- PDF

Preface

Preface

Anna-Lena Lamprecht
- PDF