Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659224591

Книга ISBN13 9783659224591 - Cost-Effective Verification of Concurrent Safety-Critical Systems (Diyaa Atiya) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Cost-Effective Verification of Concurrent Safety-Critical Systems
From a modern heart pacemaker to a computer-controlled jet engine in a civilian flight or an air fighter, Safety-critical systems – i.e. those systems whose failure could result in loss of life – have become more common and powerful than ever. Needless to say, the verification process of such systems requires higher rigour when compared to the verification process of usual commercial software systems, in order to guarantee the critical aspects of the systems, e.g. safety and security. The rigorous verification process, however, can dramatically increase the cost of the software development process. This book extends the Compliance Notation – a unified framework where both formal and informal techniques can be employed in sequential software development –and provide a novel approach to the verification of concurrent safety critical systems. The viability of the new approach is illustrated using a real example form the safety-critical industry, namely, a robot-operated production...
Авторы: Diyaa Atiya
Издательство: LAP Lambert Academic Publishing
Год: 2012
Местонахождение: OZON.ru
ISBN: 9783659224591


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.