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: Achievement and Assurance of Safety
    sub title: Proceedings of the Third Safety-critical Systems Symposium
  name:
    name part: Redmill, Felix.
    role:
      role term: creator
  name:
    name part: Anderson, Tom.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (ix, 329 pages 68 illustrations)
  abstract: The Safety-Critical Systems Symposium is now established as the major UK conference on safety-critical systems. The book contains a broad selection of papers on the most relevant and up-to-date topics offering information not only to industry on new technologies, but also to academia on industrial techniques such as risk assessment and safety analysis. The book covers a wide range of relevant subjects from collaborative projects and strategic views through to new technologies from the fields of neural networking, artificial intelligence, formal methods and robotics. Also covered are the use of languages in safety-critical software development security principles, verification and validation, and coverage of new developments in risk analysis, hazard identification and assessment.
  note: edited by Felix Redmill, Tom Anderson.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  identifier: 9781447130031 (electronic bk.)
  identifier: 1447130030 (electronic bk.)
  identifier: 9783540199229
  identifier: 3540199225
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 121227
    record change date: 20260420210656.6
    record identifier: in00003573996
    language of cataloging:
      language term: eng