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

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Кривий, С. Л.
    Аналіз властивостей мереж Петрі [Текст] / С. Л. Кривий, О. М. Максимець
    // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 86-89. – (Серія "Фізико-математичні науки").

   У даній роботі розглядаються методи орієнтовані на верифікацію реактивних і розподілених систем за допомогою мереж Петрі.

  УДК 51.681.3


            


Є складовою частиною документа Вісник Київського національного університету імені Тараса Шевченка [Текст] / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – 204 с. – (Серія "Фізико-математичні науки"). – ISBN 1812-5409 : 52,00 грн.



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






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