Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
portes grátis
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
11/2024
210
Mole
9783031753893
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;computer programming;distributed computer systems;embedded systems;formal languages;formal logic;formal methods;formal verifications;object-oriented programming;software architecture;verification and validation
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
