LEADER 00754nam0-22002891i-450- 001 990000721450403321 005 20001010 035 $a000072145 035 $aFED01000072145 035 $a(Aleph)000072145FED01 035 $a000072145 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aPalermo 210 $aRoma/Bari$cLaterza$d1980 215 $aVII, 208 p. ill. 24 cm 225 1 $aGrandi opere. Le cittą nella storia d 'Italia 700 1$aDe Seta,$bCesare$f<1941- >$04479 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000721450403321 952 $aSEZ.NA B 417$b12696$fFARBC 959 $aFARBC 996 $aPalermo$9323629 997 $aUNINA DB $aING01 LEADER 04161nam 22007215 450 001 9910983297503321 005 20251225185022.0 010 $a3-031-75390-9 024 7 $a10.1007/978-3-031-75390-9 035 $a(MiAaPQ)EBC31741724 035 $a(Au-PeEL)EBL31741724 035 $a(CKB)36403436600041 035 $a(DE-He213)978-3-031-75390-9 035 $a(EXLCZ)9936403436600041 100 $a20241026d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLeveraging Applications of Formal Methods, Verification and Validation. Application Areas $e12th International Symposium, ISoLA 2024, Crete, Greece, October 27?31, 2024, Proceedings, Part V /$fedited by Tiziana Margaria, Bernhard Steffen 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (219 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15223 311 08$a3-031-75389-5 327 $aDigital 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. 330 $aThe 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. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15223 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aComputers, Special purpose 606 $aComputer systems 606 $aMicroprogramming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aControl Structures and Microprogramming 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aMicroprogramming. 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aControl Structures and Microprogramming. 676 $a005.1 700 $aMargaria$b Tiziana$01784909 701 $aSteffen$b Bernhard$0878620 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983297503321 996 $aLeveraging Applications of Formal Methods, Verification and Validation. Application Areas$94317394 997 $aUNINA