Formal method
industrial use from model to the code
Boulanger, Jean-Louis.
ProQuest (Firm)
text
bibliography
Electronic books.
enk
London
Hoboken, N.J
ISTE
Wiley
2012
monographic
eng
xv, 357 p. : ill.
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.
edited by Jean-Louis Boulanger.
Includes bibliographical references and index.
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
TF507 .F66 2012
385.0285/53
Industrial implementation of formal methods series
9781118614389 (electronic bk.)
https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1143602
https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1143602
MiAaPQ
120423
20250821124335.0
EBC1143602