Электронная книга: Jean-Louis Boulanger «CENELEC 50128 and IEC 62279 Standards»
|
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory. Издательство: "John Wiley&Sons Limited"
ISBN: 9781119122494 электронная книга Купить за 10810.32 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Static Analysis of Software. The Abstract Interpretation | The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods. Industrial Use from Model to the Code | Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Industrial Use of Formal Methods. Formal Verification | At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Safety of Computer Architectures | It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method | This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Safety Management of Software-based Equipment | A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems | A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Jean-louis florentz — (1947 2004) Jean Louis Florentz (* Asnières sur Seine, le 19 décembre 1947 † Paris, le 4 juillet 2004) est un compositeur français. Sommaire … Wikipédia en Français
Jean-Louis Florentz — (* 19. Dezember 1947 in Asnières sur Seine; † 4. Juli 2004 in Paris) war ein französischer Komponist. Inhaltsverzeichnis 1 Biografie 2 Grand Prix Florentz 3 Werkliste … Deutsch Wikipedia
Jean-Claude Boulanger (évêque) — Pour les articles homonymes, voir Boulanger (homonymie). Pour les articles homonymes, voir Jean Claude Boulanger. Jean Claude Boulanger Bi … Wikipédia en Français
Jean-Louis Papin — Pour les articles homonymes, voir Papin. Jean Louis Papin Biographie Naissance … Wikipédia en Français
Jean-Louis Florentz — (1947 2004) Jean Louis Florentz (* Asnières sur Seine, le 19 décembre 1947 † Paris, le 4 juillet 2004) est un compositeur français. Sommaire 1 … Wikipédia en Français
Jean-Louis Biguine — Projet:Entreprises/Cartographie des marques par secteur Vous trouverez dans cette page une liste de 2 453 marques ou noms de société avec en correspondance le nom du groupe qui en est propriétaire ou qui les contrôle. Cette liste n est pas… … Wikipédia en Français
