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

Полное описание

Сохранить в:
Библиографические подробности
Другие авторы: Bondavalli, Andrea (Редактор), Brancati, Francesco (Редактор)
Формат: Электронный ресурс Глава книги
Язык:английский
Опубликовано: Taylor & Francis 2017
Предметы:
Online-ссылка:OAPEN Library: download the publication
OAPEN Library: description of the publication
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Search Result 1

Certifications of Critical Systems - The CECRIS Experience

Опубликовано 2017
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс Глава книги