Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

Title Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger.

Imprint

London : ISTE ; Hoboken, N.J. : Wiley, 2012.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	xv, 357 p. : ill.
Series	Industrial implementation of formal methods series
	Industrial implementation of formal methods series.
Bibliography	Includes bibliographical references and index.
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.
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	Railroads -- Management -- Data processing.
	Formal methods (Computer science)
	Application software -- Development.
Genre/Form	Electronic books.
Added Author	Boulanger, Jean-Louis.
	ProQuest (Firm)
ISBN	9781848213623 (hbk.)
	9781118614389 (electronic bk.)