Formal method : industrial use from model to the code /

Formal method : industrial use from model to the code / / edited by Jean-Louis Boulanger.

Saved in:
Bibliographic Details
Superior document:Industrial implementation of formal methods series
:
ProQuest (Firm)
TeilnehmendeR:
Boulanger, Jean-Louis.
ProQuest (Firm)
Year of Publication:2012
Language:English
Series:Industrial implementation of formal methods series.
Online Access:
Physical Description:xv, 357 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001143602
ctrlnum (MiAaPQ)5001143602
(Au-PeEL)EBL1143602
(CaPaEBR)ebr10671509
(CaONFJC)MIL462757
(OCoLC)830161712
collection bib_alma
record_format marc
spelling Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
London : ISTE ; Hoboken, N.J. : Wiley, 2012.
xv, 357 p. : ill.
Industrial implementation of formal methods series
Includes bibliographical references and index.
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.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Railroads Management Data processing.
Formal methods (Computer science)
Application software Development.
Electronic books.
Boulanger, Jean-Louis.
ProQuest (Firm)
Industrial implementation of formal methods series.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1143602 Click to View
language English
format Electronic
eBook
author2 Boulanger, Jean-Louis.
ProQuest (Firm)
author_facet Boulanger, Jean-Louis.
ProQuest (Firm)
ProQuest (Firm)
author2_variant j l b jlb
author2_role TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Boulanger, Jean-Louis.
title Formal method industrial use from model to the code /
spellingShingle Formal method industrial use from model to the code /
Industrial implementation of formal methods series
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.
title_sub industrial use from model to the code /
title_full Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
title_fullStr Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
title_full_unstemmed Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
title_auth Formal method industrial use from model to the code /
title_new Formal method
title_sort formal method industrial use from model to the code /
series Industrial implementation of formal methods series
series2 Industrial implementation of formal methods series
publisher ISTE ; Wiley,
publishDate 2012
physical xv, 357 p. : ill.
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.
isbn 9781118614389 (electronic bk.)
callnumber-first T - Technology
callnumber-subject TF - Railroad Engineering and Operation
callnumber-label TF507
callnumber-sort TF 3507 F66 42012
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1143602
illustrated Illustrated
dewey-hundreds 300 - Social sciences
dewey-tens 380 - Commerce, communications & transportation
dewey-ones 385 - Railroad transportation
dewey-full 385.0285/53
dewey-sort 3385.0285 253
dewey-raw 385.0285/53
dewey-search 385.0285/53
oclc_num 830161712
work_keys_str_mv AT boulangerjeanlouis formalmethodindustrialusefrommodeltothecode
AT proquestfirm formalmethodindustrialusefrommodeltothecode
status_str n
ids_txt_mv (MiAaPQ)5001143602
(Au-PeEL)EBL1143602
(CaPaEBR)ebr10671509
(CaONFJC)MIL462757
(OCoLC)830161712
hierarchy_parent_title Industrial implementation of formal methods series
is_hierarchy_title Formal method industrial use from model to the code /
container_title Industrial implementation of formal methods series
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1792330747914223616
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01994nam a2200409 a 4500</leader><controlfield tag="001">5001143602</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">120423s2012 enkad sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2012011496</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781848213623 (hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118614389 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001143602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1143602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10671509</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL462757</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)830161712</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TF507</subfield><subfield code="b">.F66 2012</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">385.0285/53</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formal method</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">industrial use from model to the code /</subfield><subfield code="c">edited by Jean-Louis Boulanger.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London :</subfield><subfield code="b">ISTE ;</subfield><subfield code="a">Hoboken, N.J. :</subfield><subfield code="b">Wiley,</subfield><subfield code="c">2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 357 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Industrial implementation of formal methods series</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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 &amp; V platform for scade models -- Control build.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Railroads</subfield><subfield code="x">Management</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Application software</subfield><subfield code="x">Development.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boulanger, Jean-Louis.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Industrial implementation of formal methods series.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1143602</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items