По всем вопросам обращайтесь на: info@litportal.ru
(©) 2003-2024.

✖
  1. Главная
  2. Jean-Louis Boulanger
banner banner banner

Jean-Louis Boulanger

Произведения автора 8

Только полные версии книг

РОМАНЫ и ПОВЕСТИ

CENELEC 50128 and IEC 62279 Standards
CENELEC 50128 and IEC 62279 Standards
электронная книга
0
Год написания книги 2018
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...
Safety Management of Software-based Equipment
Safety Management of Software-based Equipment
электронная книга
0
Год написания книги 2018
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...
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method
электронная книга
0
Год написания книги 2018
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...
Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
электронная книга
0
Год написания книги 2018
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...
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpretation
электронная книга
0
Год написания книги 2018
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...
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the Code
электронная книга
0
Год написания книги 2018
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...
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verification
электронная книга
0
Год написания книги 2018
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...
Safety of Computer Architectures
Safety of Computer Architectures
электронная книга
0
Год написания книги 2018
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...

Похожие авторы

Последний отзыв

Дитя Эльфа и Погремушки
Дитя Эльфа и Погремушки
Ксения Корнилова
3.75
От книги невозможно оторваться, супер интересная