электронная
Теория соответствия для систем с блокировками и разрушениями
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, … Продолжить
-
серия:
Математика. Прикладная математика
-
автор (соавторы):
Виктор Кулямин, Александр Косачев, Игорь Бурдонов
-
правообладатель
Издательская фирма "Физико-математическая литература"
-
название оригинала:
Теория соответствия для систем с блокировками и разрушениями
-
выход в свет:
01.01.2008
-
ISBN:
978-5-9221-0936-9
-
EAN:
9785922109369
-
для возраста:
0+
- ндс РФ
- можно полистать
-
формат скачивания
pdf
-
объем файла в зависимости от формата, кб
7863
-
серия:
Математика. Прикладная математика
-
автор (соавторы):
Виктор Кулямин, Александр Косачев, Игорь Бурдонов
-
правообладатель
Издательская фирма "Физико-математическая литература"
-
название оригинала:
Теория соответствия для систем с блокировками и разрушениями
-
выход в свет:
01.01.2008
-
ISBN:
978-5-9221-0936-9
-
EAN:
9785922109369
-
для возраста:
0+
- ндс РФ
- можно полистать
-
формат скачивания
pdf
-
объем файла в зависимости от формата, кб
7863