eONPUIR

Просмотр Кафедра комп’ютерних інтелектуальних систем та мереж по автору "591f7db2-c7ea-4900-9d48-9cfc67051a51"

Просмотр Кафедра комп’ютерних інтелектуальних систем та мереж по автору "591f7db2-c7ea-4900-9d48-9cfc67051a51"

Отсортировать по: Порядку: Результаты:

  • Модели тестирования для композиций сетей Петри 
    Мартынюк, А. Н.; Васим, Аль Шариф (2013)
    Предложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей ...