000 06068cam a2200865 i 4500
001 on1013477980
003 OCoLC
005 20250707091201.0
006 m o d
007 cr nn||||mamaa
008 171018s2017 sz a ob 100 0 eng d
040 _aAZU
_beng
_erda
_epn
_cAZU
_dGW5XE
_dOCLCO
_dOCLCF
_dOCLCQ
_dIOG
_dOCLCA
_dUAB
_dMERER
_dOCL
_dOH1
_dOCLCQ
_dAUD
_dU3W
_dCAUOI
_dKSU
_dCRU
_dOCLCQ
_dUCW
_dOCLCQ
_dEBLCP
_dUKMGB
_dLEAUB
_dOCLCQ
_dYDX
_dOCLCQ
_dCEF
_dOCLCQ
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
015 _aGBB901345
_2bnb
016 7 _a019191081
_2Uk
019 _a1010952832
_a1028613222
_a1028811697
_a1032271557
_a1049847316
_a1086566028
_a1086569892
020 _a9783319684994
020 _a331968499X
020 _z9783319684987
024 7 _a10.1007/978-3-319-68499-4
_2doi
029 1 _aAU@
_b000061334330
029 1 _aAU@
_b000065092558
029 1 _aUKMGB
_b019191081
029 1 _aAU@
_b000074153378
035 _a(OCoLC)1013477980
_z(OCoLC)1010952832
_z(OCoLC)1028613222
_z(OCoLC)1028811697
_z(OCoLC)1032271557
_z(OCoLC)1049847316
_z(OCoLC)1086566028
_z(OCoLC)1086569892
037 _acom.springer.onix.9783319684994
_bSpringer Nature
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a625.1
_223
_1https://id.oclc.org/worldcat/ddc/E3dfvyYR883BGJTCy9Cbf6vvyW
049 _aMAIN
111 2 _aRSSRail (Conference)
_n(2nd :
_d2017 :
_cPistoia, Italy)
_962760
245 1 0 _aReliability, safety, and security of railway systems :
_bmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
_cedited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
246 3 _aRSSRail 2017
264 1 _aCham :
_bSpringer,
_c2017.
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v10598
505 0 _aKeynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation.
520 _aThis volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.
504 _aIncludes bibliographical references and author index.
650 0 _aRailroads
_xSafety measures
_vCongresses.
_957390
650 6 _aChemins de fer
_xSécurité
_xMesures
_vCongrès.
_9967751
650 7 _aArtificial intelligence.
_2bicssc
_91340
650 7 _aComputer science.
_2bicssc
_9941
650 7 _aComputer networking & communications.
_2bicssc
_953942
650 7 _aComputer security.
_2bicssc
_92191
650 7 _aAlgorithms & data structures.
_2bicssc
_953448
650 7 _aSoftware Engineering.
_2bicssc
_914736
650 7 _aComputers
_xIntelligence (AI) & Semantics.
_2bisacsh
_917680
650 7 _aComputers
_xComputer Science.
_2bisacsh
_917992
650 7 _aComputers
_xHardware
_xGeneral.
_2bisacsh
650 7 _aComputers
_xSecurity
_xGeneral.
_2bisacsh
650 7 _aComputers
_xSystems Architecture
_xGeneral.
_2bisacsh
_918220
650 7 _aComputers
_xSoftware Development & Engineering
_xGeneral.
_2bisacsh
_94347
650 7 _aRailroads
_xSafety measures
_2fast
_957393
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aFantechi, Alessandro,
_eeditor.
_935511
700 1 _aLecomte, Thierry,
_eeditor.
_957394
700 1 _aRomanovsky, Alexander,
_eeditor.
_962763
758 _ihas work:
_aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Text)
_1https://id.oclc.org/worldcat/entity/E39PCFwPFDDrrrcCj4fYW7WVYP
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrinted edition:
_z9783319684987
830 0 _aLecture notes in computer science ;
_v10598.
_x0302-9743
856 4 0 _uhttps://link.springer.com/10.1007/978-3-319-68499-4
938 _aProQuest Ebook Central
_bEBLB
_nEBL5592541
938 _aYBP Library Services
_bYANK
_n16353926
994 _a92
_bATIST
999 _c645624
_d645624