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

DOI: http://dx.doi.org/10.14279/tuj.eceasst.74

Table of Contents

Preface

Preface
Anna-Lena Lamprecht
PDF

Articles

Model Extraction of Legacy C Code in SCCharts
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
PDF
Towards Reuse on the Meta-Level
Dominic Wirkner, Steve Boßelmann
PDF
Handling Domain Knowledge in Design and Analysis of Engineering Models
Kahina Hacid, Yamine Ait-Ameur
PDF
Generating Optimal Decision Functions from Rule Specifications
Frederik Gossen, Tiziana Margaria
PDF