{"product_id":"reliability-safety-and-security-of-railway-systems-modelling-analysis-verification-and-certification-6th-international-conference-rssrail-2025-9783032107619","title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, Rssrail 2025","description":"\u003cp\u003e • Author(s): Maurice H. Ter Beek | Simon Collart-Dutilleul | Thierry Lecomte\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Hardware - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. \u003c\/p\u003e \u003cp\u003eThe 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections: Invited Presentations; AI \u0026amp; Planning; Surveys \u0026amp; Comparisons; Communication \u0026amp; Control; Industrial Experiences \u0026amp; Trams; Formal Modelling \u0026amp; Analysis.\u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46436967219351,"sku":"9783032107619","price":4643.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783032107619.webp?v=1769133654","url":"https:\/\/atlanticbooks.com\/products\/reliability-safety-and-security-of-railway-systems-modelling-analysis-verification-and-certification-6th-international-conference-rssrail-2025-9783032107619","provider":"Atlantic Books","version":"1.0","type":"link"}