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 Methods for Safety and Security
    sub title: Case Studies for Aerospace Applications
  name:
    name part: Nanda, Manju.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Jeppu, Yogananda.
    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: si
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 132 p. 42 illus., 24 illus. in color. online resource.
  abstract: This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as aerospace. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. .
  note: edited by Manju Nanda, Yogananda Jeppu.
  subject:
    topic: Aerospace engineering
  subject:
    topic: Astronautics
  subject:
    topic: Calculus of variations
  subject:
    topic: Quality control
  subject:
    topic: Reliability
  subject:
    topic: Industrial safety
  subject:
    topic: Software engineering
  subject:
    topic: Aerospace Technology and Astronautics
  subject:
    topic: Calculus of Variations and Optimal Control; Optimization
  subject:
    topic: Quality Control, Reliability, Safety and Risk
  subject:
    topic: Software Engineering
  classification: TL787-4050.22
  classification: TC1-1800
  classification: 629.1
  related item:
    title info:
      title: Springer eBooks
  identifier: 9789811041211
  identifier: https://doi.org/10.1007/978-981-10-4121-1
  record info:
    record creation date: 171110
    record change date: 20191220130819.0
    record identifier: 978-981-10-4121-1