Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
Boulanger, Jean-Louis.
2012
TF507 .F66 2012eb
Available Online

Linked e-resources

Linked Resource
Online Access

Details

Title
Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.
ISBN
9781848213623
9781118614389 electronic book
Publication Details
London : ISTE ; Hoboken, N.J. : Wiley, 2012.
Language
English
Description
xv, 357 p. : ill.
Call Number
TF507 .F66 2012eb
Dewey Decimal Classification
385.0285/53
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Boulanger, Jean-Louis.
Series
Industrial implementation of formal methods series.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export