Industrial Use of Formal Methods (PDF)
Formal Verification
(Sprache: Englisch)
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...
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...
sofort als Download lieferbar
eBook (pdf)
140.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Industrial Use of Formal Methods (PDF)“
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).
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).
Autoren-Porträt
Jean-Louis Boulanger is an Independent Safety Assessor (ISA) in the railway domain for software.
Bibliographische Angaben
- 2012, 1. Auflage, 314 Seiten, Englisch
- Herausgegeben: Jean-Louis Boulanger
- Verlag: John Wiley & Sons
- ISBN-10: 1118587901
- ISBN-13: 9781118587904
- Erscheinungsdatum: 27.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 12 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Industrial Use of Formal Methods"
0 Gebrauchte Artikel zu „Industrial Use of Formal Methods“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Industrial Use of Formal Methods".
Kommentar verfassen