Vol-3506⫷ Vol-3507 ⫸Vol-3508
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 |