Reliability, safety, and security of railway systems : (Record no. 645624)

MARC details
000 -LEADER
fixed length control field 06068cam a2200865 i 4500
001 - CONTROL NUMBER
control field on1013477980
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250707091201.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn||||mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 171018s2017 sz a ob 100 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency AZU
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency AZU
Modifying agency GW5XE
-- OCLCO
-- OCLCF
-- OCLCQ
-- IOG
-- OCLCA
-- UAB
-- MERER
-- OCL
-- OH1
-- OCLCQ
-- AUD
-- U3W
-- CAUOI
-- KSU
-- CRU
-- OCLCQ
-- UCW
-- OCLCQ
-- EBLCP
-- UKMGB
-- LEAUB
-- OCLCQ
-- YDX
-- OCLCQ
-- CEF
-- OCLCQ
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB901345
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019191081
Source Uk
019 ## -
-- 1010952832
-- 1028613222
-- 1028811697
-- 1032271557
-- 1049847316
-- 1086566028
-- 1086569892
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319684994
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 331968499X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319684987
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-68499-4
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000061334330
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000065092558
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019191081
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000074153378
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1013477980
Canceled/invalid control number (OCoLC)1010952832
-- (OCoLC)1028613222
-- (OCoLC)1028811697
-- (OCoLC)1032271557
-- (OCoLC)1049847316
-- (OCoLC)1086566028
-- (OCoLC)1086569892
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783319684994
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 625.1
Edition number 23
-- https://id.oclc.org/worldcat/ddc/E3dfvyYR883BGJTCy9Cbf6vvyW
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element RSSRail (Conference)
Number of part/section/meeting (2nd :
Date of meeting 2017 :
Location of meeting Pistoia, Italy)
9 (RLIN) 62760
245 10 - TITLE STATEMENT
Title Reliability, safety, and security of railway systems :
Remainder of title modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Statement of responsibility, etc. edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
246 3# - VARYING FORM OF TITLE
Title proper/short title RSSRail 2017
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2017.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 10598
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Keynote 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 ## - SUMMARY, ETC.
Summary, etc. This 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 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Railroads
General subdivision Safety measures
Form subdivision Congresses.
9 (RLIN) 57390
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Chemins de fer
General subdivision Sécurité
-- Mesures
Form subdivision Congrès.
9 (RLIN) 967751
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence.
Source of heading or term bicssc
9 (RLIN) 1340
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Source of heading or term bicssc
9 (RLIN) 941
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer networking & communications.
Source of heading or term bicssc
9 (RLIN) 53942
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer security.
Source of heading or term bicssc
9 (RLIN) 2191
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms & data structures.
Source of heading or term bicssc
9 (RLIN) 53448
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software Engineering.
Source of heading or term bicssc
9 (RLIN) 14736
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Intelligence (AI) & Semantics.
Source of heading or term bisacsh
9 (RLIN) 17680
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Computer Science.
Source of heading or term bisacsh
9 (RLIN) 17992
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Hardware
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Security
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Systems Architecture
-- General.
Source of heading or term bisacsh
9 (RLIN) 18220
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
9 (RLIN) 4347
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Railroads
General subdivision Safety measures
Source of heading or term fast
9 (RLIN) 57393
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fantechi, Alessandro,
Relator term editor.
9 (RLIN) 35511
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lecomte, Thierry,
Relator term editor.
9 (RLIN) 57394
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Romanovsky, Alexander,
Relator term editor.
9 (RLIN) 62763
758 ## -
-- has work:
-- Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFwPFDDrrrcCj4fYW7WVYP
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319684987
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 10598.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-319-68499-4">https://link.springer.com/10.1007/978-3-319-68499-4</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5592541
938 ## -
-- YBP Library Services
-- YANK
-- 16353926
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 29/07/2022   29/07/2022 29/07/2022 eBook

Powered by Koha