Зіць, Олексій. Особливості розвитку бізнес-процесів ПАТ "Укрзалізниця" [Текст] / О. Зіць // Проблеми і перспективи економіки та управління. - 2016. - № 3. - С. 123-134 : рис., табл. - Бібліогр.: с. 134 Рубрики: Залізничний транспорт--Україна Кл.слова (ненормовані): управлінський блок -- операційний блок -- підтримуючий блок -- вантажні перевезення -- пасажирські перевезення -- інфраструктура -- блок забезпечення -- приватні залізничні перевізники -- соціальний сегмент -- конкурентне середовище Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Бибило, П. Н. Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. - 2017. - № 1. - С. 35-45 : рис., табл. - Библиогр.: с. 44 . - ISSN 0130-5395
Кл.слова (ненормовані): цифрова апаратура -- мікропрограми -- операційний блок Анотація: В статье разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации. Дод.точки доступу: Романов, В. И. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |