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: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. 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: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 297 p. 91 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
  note: edited by Cyrille Artho, Peter Csaba Ölveczky.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering
  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, 419
  identifier: 9783319054162
  identifier: http://dx.doi.org/10.1007/978-3-319-05416-2
  record info:
    record creation date: 140405
    record change date: 20151109151708.0
    record identifier: 978-3-319-05416-2