02085nam a2200421 a 4500 EBC1143602 MiAaPQ 20250821124335.0 m o d | cr cn||||||||| 120423s2012 enkad sb 001 0 eng d 2012011496 9781848213623 (hbk.) 9781118614389 (electronic bk.) (MiAaPQ)EBC1143602 (Au-PeEL)EBL1143602 (CaPaEBR)ebr10671509 (CaONFJC)MIL462757 (OCoLC)830161712 MiAaPQ MiAaPQ MiAaPQ TF507 .F66 2012 385.0285/53 23 Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger. London : ISTE ; Hoboken, N.J. : Wiley, 2012. xv, 357 p. : ill. Industrial implementation of formal methods series 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. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Railroads Management Data processing. 498858 Formal methods (Computer science) 498859 Application software Development. 498860 Electronic books. 35142 Boulanger, Jean-Louis. 498861 ProQuest (Firm) 498862 Industrial implementation of formal methods series. 498863 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1143602 Click to View 299959 299959