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. 81 (2022): 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021
Vol. 81 (2022): 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021
DOI:
https://doi.org/10.14279/tuj.eceasst.81
Published:
2022-11-22
Articles
Synthesis of smart manufacturing environments. Towards evolvable robotic navigation scenarios.
Ivan Guevara
PDF
Automating the referral pathways for Multiple Myeloma through a Web Application and XMDD
Adam Doherty
PDF
Supporting Ethical Decisions in Wearable Technology with Deontic Logic: A Brief Introduction
Dimitrios Zafeirakopoulos, Sofia Almpani, Petros Stefaneas
PDF
The Qualitative background of why a DSL knowledge based platform is needed in the context of Sustainability
Stephen Ryan
PDF
Asking Why: Towards Conscious Decision-making in times of VUCA
Barbara Steffen
PDF
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
PDF
Preface
Preface
Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat
PDF
Information
For Readers
For Authors
For Librarians