Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Годлевский, А. Б.
    Алгоритм проверки временных противоречий в MSC диаграммах [Текст] / А. Б. Годлевский, М. В. Лопатина, С. Н. Свиргуненко
    // Кибернетика и системный анализ. – 2002. – № 6. – 16-29.

   Рассматривается проблема непротиворечивости MSC диаграмм с временными ограничениями в классе, где на инстанциях допускаются только события типа out (отправка сообщения) и in (прием сообщения)

  УДК 51.681.3


            




Теми документа






Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'