×
![]( "Buchcover ISBN 9781118587904")
At present the literature gives students and researchers of thevery general books on the formal technics. The purpose of this bookis to present in a single book, a return of experience on the usedof the „formal technics“ (such proof andmodel-checking) on industrial examples for the transportationdomain. This book is based on the experience of people which arecompletely involved in the realization and the evaluation of safetycritical system software based.
The implication of the industrialists allows to raise theproblems of confidentiality which could appear and so allow tosupply new useful information (photos, plan of architecture, realexample).
The implication of the industrialists allows to raise theproblems of confidentiality which could appear and so allow tosupply new useful information (photos, plan of architecture, realexample).
