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
Предмети:
Онлайн доступ:OAPEN Library: download the publication
OAPEN Library: description of the publication
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!

Інтернет

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Детальна інфо про примірники із 3rd Floor Main Library
Шифр: A1234.567
Примірник 1 Доступно