عنوان
پدید آورنده
موضوع
رده
QA76.758
QA76
.
758
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030187438
(Number (ISBN
3030187446
(Number (ISBN
3030187454
(Number (ISBN
9783030187439
(Number (ISBN
9783030187446
(Number (ISBN
9783030187453
Erroneous ISBN
9783030187439
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reliability, safety, and security of railway systems :
General Material Designation
[Book]
Other Title Information
modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings /
First Statement of Responsibility
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xix, 297 pages) :
Other Physical Details
illustrations (some color).
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11495
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. .
0
SUMMARY OR ABSTRACT
Text of Note
This 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. .
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030187446
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783030187439
International Standard Book Number
9783030187453
PARALLEL TITLE PROPER
Parallel Title
RSSRail 2019
TOPICAL NAME USED AS SUBJECT
Railroads-- Safety measures, Congresses.
Railroads-- Safety measures.
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
625
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
758
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Collart-Dutilleul, Simon
Lecomte, Thierry
Romanovsky, Alexander
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RSSRail (Conference)(3rd :2019 :, Lille, France)
ORIGINATING SOURCE
Date of Transaction
20200823090457.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
