Skip navigation
Home
Browse
Browse Items by:
Issue Date
Author
Title
Subject
Communities & Collections
Lang
русский
English
Log in:
My DSpace
Receive email
updates
Edit Profile
Репозиторий БГУИР
Browsing by Subject верификация
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 2 to 21 of 25
< previous
next >
Issue Date
Title
Author(s)
2011
Searching for Optmal Synchronizing Sequences for Testng Logic Circuits
Cheremisinova, L. D.
;
Черемисинова Л. Д.
2022
Биометрический замок
Кед, В. Ю.
2019
Верификация автоматных VHDL-моделей взаимодействующих цифровых систем
Щепанский, В. Е.
2014
Верификация и валидация баз знаний интеллектуальных систем
Титенков, П. В.
2020
Верификация логических КМОП схем, устойчивых к мягким отказам
Черемисинова, Л. Д.
;
Черемисинов, Д. И.
2021
Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1
Селиверстов, Е. С.
;
Галицын, Ю. С.
;
Иванова, А. А.
;
Seliverstov, E. S.
;
Galitsyn, Y. S.
;
Ivanova, A. A.
2021
Верификация численных методов и математической модели, разработанных для моделирования миграции радионуклидов в природных дисперсных средах
Шалькевич, П. К.
;
Кундас, С. П.
2018
Возможности верификации метода определения внутреннего диаметра видимых сосудов бульбарной конъюнктивы глаза человека с помощью метода Монте-Карло
Смунев, Д. А.
2022
Выделение логической компоненты при декомпиляции транзисторной схемы
Черемисинова, Л. Д.
;
Черемисинов, Д. И.
2020
Глубокий анализ и декомпиляция КМОП-схемы на транзисторном уровне в иерархическую схему из логических элементов
Черемисинов, А. А.
;
Черемисинова, Л. Д.
2013
Задачи верификации логических описаний комбинационных устройств
Черемисинова, Л. Д.
;
Новиков, Д. Я.
2013
Использование продукционно-фреймовой модели представления знаний автоматизированном логическом проектировании заказных цифровых СБИС
Бибило, П. Н.
;
Романов, В. И.
2021
Квалификация, верификация и валидация
Агафонов, С. А.
;
Кузнецов, А. Н.
;
Останин, С. М.
;
Agafonov, S. A.
;
Kuznetsov, A. N.
;
Ostanin, S. M.
2016
О двух классах семантической корреляции, наблюдаемых в функциональных семантических сетях
Савкин, Л. В.
2015
Обзор теорий доказательства правильности программ
Власенко, В. А.
2015
Особенности верификации и валидации прикладного программного обеспечения программно-технических комплексов на аппаратуре ТПТС для систем безопасности АЭС
Маликова, Е. Ю.
;
Купцов, С. И.
2018
Программирование расширения интегрированной среды разработки VS2017
Марко, А. Ф.
;
Чеушев, К. В.
2022
Программное средство распознавания диктора по речи
Куницкий, Ю. О.
;
Лунь, Н. С.
;
Зайковский, В. С.
2022
Программный модуль биометрической верификации
Зельманский, О. Б.
;
Куницкий, Ю. О.
2013
Реализация системы аппаратно-программного моделирования с использованием ПЛИС-эмулятора
Зайцев, В. С.
;
Степанец, В. Я.