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

электронная

Александр Косачев

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

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

  • серия:

    Математика. Прикладная математика

  • автор (соавторы):

    Виктор Кулямин, Александр Косачев, Игорь Бурдонов

  • правообладатель

    Издательская фирма "Физико-математическая литература"

  • название оригинала:

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

  • выход в свет:

    01.01.2008

  • ISBN:

    978-5-9221-0936-9

14,23  вкл. НДС 7,0 %
  • серия:

    Математика. Прикладная математика

  • автор (соавторы):

    Виктор Кулямин, Александр Косачев, Игорь Бурдонов

  • правообладатель

    Издательская фирма "Физико-математическая литература"

  • название оригинала:

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

  • выход в свет:

    01.01.2008

  • ISBN:

    978-5-9221-0936-9

Электронные издания присылаются нашим сервисом вскоре после покупки, файлами удобных форматов. Большинство приложений для чтения на гаджете доступны к бесплатному пользованию в интернете.

Вас также могут заинтересовать
Сервисная информация
[mc4wp_form id="2438"]