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