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

Preface

Preface

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

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