//]]>
Normal View MARC View ISBD View

Formal method : industrial use from model to the code /

Authors: Boulanger, Jean-Louis.%editor Series: Industrial implementation of formal methods series Published by : ISTE, (London :) Physical details: xv, 357 p. : ill. ; 24 cm. ISBN: 184821362X Subject(s): Railroads %Management %Data processing. | Formal methods (Computer science) | Application software %Development. Year: 2012
Online Resources:
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library 385.028553 F723 (Browse Shelf) Available

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.

There are no comments for this item.

Log in to your account to post a comment.

Languages: 
English |
العربية