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

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

Другие книги авторавсе книги
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

Для правообладателей и по всем вопросам knigism.info@yandex.ru