Certifications of Critical Systems - The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a lar...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Bondavalli, Andrea (Herausgegeben von), Brancati, Francesco (Herausgegeben von)
Format: Elektronisch Buchkapitel
Sprache:Englisch
Veröffentlicht: Taylor & Francis 2017
Schlagworte:
Online-Zugang:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!