Published 2012
Table of 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.…”
Call Number:
Loading…
Located:
Loading…
An electronic book accessible through the World Wide Web; click to view
Electronic
eBook