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: Formal Techniques for Safety-Critical Systems
    sub title: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
  name:
    name part: Artho, Cyrille.
    role:
      role term: editor.
  name:
    name part: Ölveczky, Peter Csaba.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2017
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 161 p. 40 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
  table of contents: Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification.
  note: edited by Cyrille Artho, Peter Csaba Ölveczky.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Computer simulation
  subject:
    topic: Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Simulation and Modeling
  subject:
    topic: Computation by Abstract Devices
  classification: QA76.9.L63
  classification: QA76.5913
  classification: QA76.63
  classification: 005.1015113
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Communications in Computer and Information Science, 694
  identifier: 9783319539461
  identifier: http://dx.doi.org/10.1007/978-3-319-53946-1
  record info:
    record creation date: 170215
    record change date: 20170215144824.0
    record identifier: 978-3-319-53946-1