//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library | 385.028553 F723 (Browse Shelf) | Available |
384.80979494 C761The contemporary Hollywood film industry / | 384.830973 P993Movies and money / | 384.830973 P993Movies and money / | 385.028553 F723Formal method : industrial use from model to the code / | 387.1530681 O616Operational risk management in container terminals / | 387.50683 M266Managing human resources in the shipping industry / |
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.
There are no comments for this item.