rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    sub title: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
  name:
    name part: Collart-Dutilleul, Simon.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Lecomte, Thierry.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Romanovsky, Alexander.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2019
    edition: 1st ed. 2019.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIX, 297 p. 200 illus., 91 illus. in color. online resource.
  abstract: 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. .
  table of contents: Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety Process and Validation -- Modelling -- Formal Verification -- Security. .
  note: edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky.
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer logic
  subject:
    topic: Algorithms
  subject:
    topic: Computer simulation
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Simulation and Modeling
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Programming and Software Engineering ; 11495
  identifier: 9783030187446
  identifier: https://doi.org/10.1007/978-3-030-18744-6
  record info:
    record creation date: 190423
    record change date: 20191024071236.0
    record identifier: 978-3-030-18744-6