000746603 000__ 01791cam\a2200361\a\4500 000746603 001__ 746603 000746603 005__ 20210515112959.0 000746603 006__ m\\\\\o\\d\\\\\\\\ 000746603 007__ cr\cn\nnnunnun 000746603 008__ 120423s2012\\\\enkad\\\ob\\\\001\0\eng\d 000746603 010__ $$z 2012011496 000746603 020__ $$z9781848213623 000746603 020__ $$a9781118614389$$qelectronic book 000746603 035__ $$a(CaPaEBR)ebr10671509 000746603 035__ $$a(OCoLC)841167898 000746603 040__ $$aCaPaEBR$$cCaPaEBR 000746603 05014 $$aTF507$$b.F66 2012eb 000746603 08204 $$a385.0285/53$$223 000746603 24500 $$aFormal method$$h[electronic resource] :$$bindustrial use from model to the code /$$cedited by Jean-Louis Boulanger. 000746603 260__ $$aLondon :$$bISTE ;$$aHoboken, N.J. :$$bWiley,$$c2012. 000746603 300__ $$axv, 357 p. :$$bill. 000746603 4901_ $$aIndustrial implementation of formal methods series 000746603 504__ $$aIncludes bibliographical references and index. 000746603 5050_ $$aFrom 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. 000746603 506__ $$aAccess limited to authorized users. 000746603 650_0 $$aRailroads$$xManagement$$xData processing. 000746603 650_0 $$aFormal methods (Computer science) 000746603 650_0 $$aApplication software$$xDevelopment. 000746603 7001_ $$aBoulanger, Jean-Louis. 000746603 830_0 $$aIndustrial implementation of formal methods series. 000746603 852__ $$bebk 000746603 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10671509$$zOnline Access 000746603 909CO $$ooai:library.usi.edu:746603$$pGLOBAL_SET 000746603 980__ $$aEBOOK 000746603 980__ $$aBIB 000746603 982__ $$aEbook 000746603 983__ $$aOnline