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. 78 (2019): 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018
Vol. 78 (2019): 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018
DOI:
https://doi.org/10.14279/tuj.eceasst.78
Published:
2019-12-16
Articles
Evolve: Language-Driven Engineering in Industrial Practice
Tim Tegeler, Jonas Schürmann
PDF
Facilitating Automated Compliance Checking in the Safety-critical Context
Julieth Patricia Castellanos Ardila
PDF
Thoughts about using Constraint Solvers in Action
Malte Mues, Martin Fitzke, Falk Howar
PDF
Guidance in Model-based Compilations
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
PDF
Applicability of Neural Networks for Driving Style Classification and Maneuver Detection
Karl-Falco Storm, Paul Hochrein, Peter Engel, Andreas Rausch
PDF
Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE
Vedran Kasalica, Anna-Lena Lamprecht
PDF
Information
For Readers
For Authors
For Librarians