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