Основной контент книги Теория соответствия для систем с блокировками и разрушениями
Текст PDF

Объем 413 страниц

2008 год

0+

Теория соответствия для систем с блокировками и разрушениями

399 ₽
699 ₽
Подарите скидку 10%
Посоветуйте эту книгу и получите 69,91 ₽ с покупки её другом.

О книге

В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на... 

Войдите, чтобы оценить книгу и оставить отзыв
Книга «Теория соответствия для систем с блокировками и разрушениями» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
27 января 2016
Дата написания:
2008
Объем:
413 стр.
ISBN:
978-5-9221-0936-9
Общий размер:
7.7 МБ
Общее кол-во страниц:
413
Формат скачивания:
Аудио
Средний рейтинг 4,2 на основе 599 оценок
Черновик
Средний рейтинг 4,9 на основе 100 оценок
Аудио
Средний рейтинг 4,7 на основе 1240 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 544 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,4 на основе 40 оценок
Аудио
Средний рейтинг 4,6 на основе 803 оценок
Аудио
Средний рейтинг 4,2 на основе 67 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,9 на основе 406 оценок
Текст
Средний рейтинг 5 на основе 22 оценок
Аудио
Средний рейтинг 4 на основе 12 оценок