Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021

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

Table of Contents

Preface

Preface
Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat
PDF

Articles

Supporting Ethical Decisions in Wearable Technology with Deontic Logic: A Brief Introduction
Dimitrios Zafeirakopoulos, Sofia Almpani, Petros Stefaneas
PDF
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
PDF
Automating the referral pathways for Multiple Myeloma through a Web Application and XMDD
Adam Doherty
PDF
Asking Why: Towards Conscious Decision-making in times of VUCA
Barbara Steffen
PDF
Synthesis of smart manufacturing environments. Towards evolvable robotic navigation scenarios.
Ivan Hugo Guevara
PDF
The Qualitative background of why a DSL knowledge based platform is needed in the context of Sustainability
Stephen Ryan
PDF