Abstract is missing.
- Digital Twin EngineeringJohn S. Fitzgerald, Cláudio Gomes 0001, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock 0001. 3-8 [doi]
- Foundation Models for the Digital Twins Creation of Cyber-Physical SystemsShaukat Ali 0001, Paolo Arcaini, Aitor Arrieta. 9-26 [doi]
- Interoperability of Digital Twins: Challenges, Success Factors, and Future Research DirectionsIstvan David, Guodong Shao, Cláudio Gomes 0001, Dawn M. Tilbury, Bassam Zarkout. 27-46 [doi]
- Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital TwinsSimon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi. 47-61 [doi]
- DiTEC: Digital Twin for Evolutionary Changes in Water Distribution NetworksVictoria Degeler, Mostafa Hadadian Nejad Yousefi, Erkan Karabulut, Alexander Lazovik, Hester van het Loo, Andrés Tello, Huy Truong. 62-82 [doi]
- Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin DevelopmentElias Modrakowski, Niklas Rahenbrock, Eike Möhlmann, Henning Schlender. 83-106 [doi]
- Formal Methods for Distributed Computing in Future Railway SystemsAlessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen. 109-111 [doi]
- Model-Based Testing of Railway Interlocking SystemsAlessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli. 112-126 [doi]
- Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified ComponentsChristophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi. 127-141 [doi]
- Formal Validation and ERTMS SimulationThierry Lecomte. 142-158 [doi]
- Securing Automatic Small Railway Vehicles Using Automatic Train ProtectionSimon Collart Dutilleul, Philippe Bon, Régine Laleau. 159-173 [doi]
- Railway Switch Control Modeling in European Train Control System Level 3Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini. 174-189 [doi]
- An Integrated Perspective on the Evaluation of Complex Railway SystemsDavide Basile 0001, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori. 190-207 [doi]