Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
моделювання символьне, моделирование символьное
Документи:
- Годлевський, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем [Текст] / А. Б. Годлевський // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 91-99.
- Летичевский, А. А. Парадигмы модельного и символьного тестирования программных систем [Текст] / А. А. Летичевский // Кибернетика и системный анализ. – 2015. – Т. 51, № 5. – С. 31-44.
- Летичевський, О. О. Алгебраїчний підхід у формалізації вразливостей в бінарному коді [Текст] / О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев // Control Systems and Computers = Системи керування та комп'ютери. – 2019. – № 6. – С. 5-20.
- Інсерційна семантика VHDL-мови електронного дизайну [Текст] / О. О. Летичевський, О. М. Одарущенко, В. С. Песчаненко [та ін.] // Кібернетика та системний аналіз. – 2022. – Т. 58, № 2. – С. 154-165.
- Летичевський, О. О. Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах [Текст] / О. О. Летичевський, В. С. Песчаненко, В. С. Харченко // Кибернетика и системный анализ. – 2020. – Т. 56, № 5. – С. 29-37.
- Солонская, С. В. Предикатная модель процессных знаний при обнаружении и распознавании протяжных объектов типа облака, тучи, "ангел-эхо" в обзорных РЛС [Текст] / С. В. Солонская, В. В. Жирнов // Радіотехніка. – 2020. – № 202. – С. 154-172.
|
