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 method
    sub title: industrial use from model to the code
  name:
    name part: Boulanger, Jean-Louis.
  name:
    name part: ebrary, Inc
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    place:
      place term: London
    place:
      place term: Hoboken, N.J
    publisher: ISTE
    publisher: Wiley
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    form: remote
    extent: xv, 357 p. : ill.
  table of contents: From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.
  note: edited by Jean-Louis Boulanger.
  note: Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
  note: Includes bibliographical references and index.
  subject:
    topic: Railroads
    topic: Management
    topic: Data processing
  subject:
    topic: Formal methods (Computer science)
  subject:
    topic: Application software
    topic: Development
  classification: TF507 .F66 2012eb
  classification: 385.0285/53
  related item:
    title info:
      title: Industrial implementation of formal methods series
  identifier: 9781848213623 (hbk.)
  identifier: 9781118614389 (e-book)
  identifier: 2012011496
  identifier: http://site.ebrary.com/lib/daystar/Doc
  record info:
    record content source: CaPaEBR
    record creation date: 120423
    record change date: 20171002063303.0
    record identifier: 0000165761