Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 74 (2017): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016)
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
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
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
Preface
Preface
Anna-Lena Lamprecht
PDF
Information
For Readers
For Authors
For Librarians