Репозиторий БГУИР: Browsing DSpace

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:

Showing results 12 to 25 of 25 < previous

Issue Date	Title	Author(s)
2013	Задачи верификации логических описаний комбинационных устройств	Черемисинова, Л. Д.; Новиков, Д. Я.
2013	Использование продукционно-фреймовой модели представления знаний автоматизированном логическом проектировании заказных цифровых СБИС	Бибило, П. Н.; Романов, В. И.
2021	Квалификация, верификация и валидация	Агафонов, С. А.; Кузнецов, А. Н.; Останин, С. М.; Agafonov, S. A.; Kuznetsov, A. N.; Ostanin, S. M.
2016	О двух классах семантической корреляции, наблюдаемых в функциональных семантических сетях	Савкин, Л. В.
2015	Обзор теорий доказательства правильности программ	Власенко, В. А.
2015	Особенности верификации и валидации прикладного программного обеспечения программно-технических комплексов на аппаратуре ТПТС для систем безопасности АЭС	Маликова, Е. Ю.; Купцов, С. И.
2018	Программирование расширения интегрированной среды разработки VS2017	Марко, А. Ф.; Чеушев, К. В.
2022	Программное средство распознавания диктора по речи	Куницкий, Ю. О.; Лунь, Н. С.; Зайковский, В. С.
2022	Программный модуль биометрической верификации	Зельманский, О. Б.; Куницкий, Ю. О.
2013	Реализация системы аппаратно-программного моделирования с использованием ПЛИС-эмулятора	Зайцев, В. С.; Степанец, В. Я.
2015	Средства верификации первичного гипергидроза на основе емкостного датчика с чувствительным адсорбирующим элементом	Стасишина, А. М.
2022	Тестирование имитационных моделей	Гацко, А. А.; Медведев, О. С.; Коркин, Л. Р.
2011	Тестовое диагностирование цифровых устройств компьютерных сетей	Золоторевич, Л. А.; Горячкин, В. В.; Соболева, Т. В.
2013	Функциональная верификация с помощью языка VHDL	Авдеев, Н. А.

Showing results 12 to 25 of 25 < previous