Industrial Use of Formal Methods. Formal Verification Jean-Louis Boulanger

Industrial Use of Formal Methods. Formal Verification скачать fb2

Фрагмент книги

0 скачали
0 прочитали
0 впечатлений






Jean-Louis Boulanger - 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 of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Читать книгу онлайн Industrial Use of Formal Methods. Formal Verification - автор Jean-Louis Boulanger или скачать бесплатно и без регистрации в формате fb2. Роман написан в году, в жанре . Читаемые, полные версии книг, без сокращений, на сайте - библиотека бесплатных книг Knigism.online. Вы можете скачать издание полностью и открыть в любой читалке, на свой телефон или айфон, а также читать произведение без интернета.




Доступен ознакомительный фрагмент

Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться

Другие книги авторавсе книги
Safety of Computer Architectures
Safety of Computer Architectures
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from...
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Ab...
Другие книги жанраТехническая литература
2D Monoelements
2D Monoelements
3D Printing for Energy Applications
3D Printing for Energy Applications