MARC details
000 -LEADER |
fixed length control field |
01988nam a2200361Ia 4500 |
000 - LEADER |
fixed length control field |
03748nam a22003855i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-43366-5 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319121055.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230907s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031433665 |
-- |
978-3-031-43366-5 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
5.1 |
245 ## - TITLE STATEMENT |
Title |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
Statement of responsibility, etc. |
edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte. |
Medium |
[electronic resource] : |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2023. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham |
Name of publisher, distributor, etc. |
Springer Nature Switzerland |
Date of publication, distribution, etc. |
2023 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XX, 226 p. 102 illus., 75 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Application software. |
9 (RLIN) |
37212 |
|
Topical term or geographic name entry element |
Artificial intelligence. |
9 (RLIN) |
37213 |
|
Topical term or geographic name entry element |
Artificial Intelligence. |
9 (RLIN) |
37214 |
|
Topical term or geographic name entry element |
Computer and Information Systems Applications. |
9 (RLIN) |
37215 |
|
Topical term or geographic name entry element |
Computer Engineering and Networks. |
9 (RLIN) |
37216 |
|
Topical term or geographic name entry element |
Computer engineering. |
9 (RLIN) |
37217 |
|
Topical term or geographic name entry element |
Computer networks . |
9 (RLIN) |
37218 |
|
Topical term or geographic name entry element |
Software engineering. |
9 (RLIN) |
37219 |
|
Topical term or geographic name entry element |
Software Engineering. |
9 (RLIN) |
37220 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Collart-Dutilleul, Simon. |
9 (RLIN) |
37221 |
|
Personal name |
Lecomte, Thierry. |
9 (RLIN) |
37222 |
|
Personal name |
Milius, Birgit. |
9 (RLIN) |
37223 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-43366-5">https://doi.org/10.1007/978-3-031-43366-5</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |