|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
London : ISTE ; Hoboken, N.J. : Wiley, 2012
|
|
|
1 online resource (xv, 357 p.) : ill
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781118614389 (electronic bk.)
|
|
|
ISBN 9781848213623 (hbk.)
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001756741
|
|
|
full
|
|
|
(Au-PeEL)EBL1143602
|
|
|
(CaONFJC)MIL462757
|
|
|
(CaPaEBR)ebr10671509
|
|
|
(MiAaPQ)EBC1143602
|
|
|
(OCoLC)830161712
|
Dotazy a připomínky