LEADER 04046nam  22007575  450 
001 9910337855903321
005 20200701105432.0
010   $a3-030-18744-6
024 7 $a10.1007/978-3-030-18744-6
035   $a(CKB)4100000008280604
035   $a(DE-He213)978-3-030-18744-6
035   $a(MiAaPQ)EBC5921501
035   $a(PPN)236521993
035   $a(EXLCZ)994100000008280604
100   $a20190423d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification $eThird International Conference, RSSRail 2019, Lille, France, June 4?6, 2019, Proceedings /$fedited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIX, 297 p. 200 illus., 91 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v11495
311   $a3-030-18743-8 
320   $aIncludes bibliographical references and index.
327   $aRailways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. .
330   $aThis book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. .
410  0$aProgramming and Software Engineering ;$v11495
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer logic
606   $aAlgorithms
606   $aComputer simulation
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aAlgorithms.
615  0$aComputer simulation.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSimulation and Modeling.
676   $a005.1
676   $a625.1
702   $aCollart-Dutilleul$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLecomte$b Thierry$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRomanovsky$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337855903321
996   $aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification$92860157
997   $aUNINA