Vol-3507
urn:nbn:de:0074-3507-7

Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).



FMDT 2023
Workshop on Applications of Formal Methods and Digital Twins 2023


Proceedings of the Workshop on Applications of Formal Methods and Digital Twins
co-located with 25th International Symposium on Formal Methods (FM 2023)

Lübeck, Germany, March 06, 2023.


Edited by

Stefan Hallerstede *
Eduard Kamburjan **

* Aarhus University, Department of Electrical and Computer Engineering , 8200 Aarhus, Denmark
** University of Oslo, Department of Informatics, 0373 Oslo, Norway




Table of Contents


2023-09-28: submitted by Eduard Kamburjan, metadata incl. bibliographic data published under Creative Commons CC0
2023-10-16: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|