Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

Del 15223 i serien Lecture Notes in Computer Science

553 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

Produktinformation

Utgivningsdatum:2024-10-26
Mått:155 x 235 x 13 mm
Vikt:347 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:210
Förlag:Springer International Publishing AG
ISBN:9783031753893

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

Digital Twin Engineering (Track Introduction ISoLA 2024).- Foundation Models for the Digital Twins Creation of Cyber-Physical Systems.- Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions.- Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins.- DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks.- Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development.- Formal methods for distributed computing in future railway systems.- Model-based Testing of Railway Interlocking Systems.- Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-Verified Components.- Formal Validation and ERTMS Simulation.- Securing automatic small railway vehicles using Automatic Train Protection.- Railway Switch Control Modeling in European Train Control System Level 3.- An Integrated Perspective on the Evaluation of Complex Railway Systems.