Чернігівська ОУНБ ім. В.Г. Короленка

Головна

Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до Рекомендацій Міністерства культури та інформаційної політики України щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.

Вид пошуку

Бази даних

Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг

Електронна картотека аналітичного опису статей

Зведений краєзнавчий каталог Чернігівщини

Електронна бібліотека

Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)

Електронний каталог книг іноземними мовами

Друковані ЗМІ про нас

Зона пошуку

Знайдено у інших БД:

Електронний каталог книг (33)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>U=004.3<.>)

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

Бибило, П. Н.
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. - 2017. - № 1. - С. 35-45 : рис., табл. - Библиогр.: с. 44 . - ISSN 0130-5395

УДК

004.3

Рубрики: Інформатика--Моделювання--Автомати
Кл.слова (ненормовані):
цифрова апаратура -- мікропрограми -- операційний блок
Анотація: В статье разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации.

Дод.точки доступу:
Романов, В. И.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)

Знайти схожі

Клим, Вікторія.
Електронне голосування : умови проєктування та технологія створення національної інформаційної системи [Текст] / Вікторія Клим // Технічні науки та технології : науковий журнал. - 2022. - № 1. - С. 142-150 : рис. - Бібліогр.: с. 149-150

УДК

004.3

Рубрики: Електронне голосування--Інформаційна система--Проєктування
Кл.слова (ненормовані):
електронний уряд -- блокчейн технології -- кіберзахист -- цифрові технології
Анотація: У статті визначено, що для можливого впровадження систем е-голосування на загальнодержавному рівні на Україні в найближчому майбутньому необхідно виконати пріоритетні завдання, а саме, підготувати сучасну технічну базу.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)