Matches in Library of Congress for { <http://lccn.loc.gov/2012011496> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2012011496 contributor B12440318.
- 2012011496 created "c2012.".
- 2012011496 date "2012".
- 2012011496 date "c2012.".
- 2012011496 dateCopyrighted "c2012.".
- 2012011496 description "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.".
- 2012011496 description "Includes bibliographical references and index.".
- 2012011496 extent "xv, 357 p. :".
- 2012011496 identifier "9781848213623 (hbk.)".
- 2012011496 identifier 2012011496-d.html.
- 2012011496 isPartOf "Industrial implementation of formal methods series".
- 2012011496 issued "2012".
- 2012011496 issued "c2012.".
- 2012011496 language "eng".
- 2012011496 publisher "London : ISTE ; Hoboken, NJ : Wiley,".
- 2012011496 subject "385.0285/53 23".
- 2012011496 subject "Application software Development.".
- 2012011496 subject "Formal methods (Computer science)".
- 2012011496 subject "Railroads Management Data processing.".
- 2012011496 subject "TF507 .F66 2012".
- 2012011496 tableOfContents "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.".
- 2012011496 title "Formal method : industrial use from model to the code / edited by Jean-Louis Boulanger.".
- 2012011496 type "text".