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...

Description complète

Enregistré dans:
Détails bibliographiques
Autres auteurs: Bondavalli, Andrea (Éditeur intellectuel), Brancati, Francesco (Éditeur intellectuel)
Format: Électronique Chapitre de livre
Langue:anglais
Publié: Taylor & Francis 2017
Sujets:
Accès en ligne:DOAB: download the publication
DOAB: description of the publication
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Informations d'exemplaires de 3rd Floor Main Library
Cote: A1234.567
Exemplaire 1 Disponible