Пошуковий запит: (<.>A=Летичевський О$<.>) |
Загальна кількість знайдених документів : 18
Представлено документи з 1 до 18
|
1. |
Летичевський О. А. Доведення теорем в математичному інформаційному середовищі. — 1998 // Кибернетика и систем. анализ.
|
2. |
Капітонова Ю. В. Основи дискретної математики : Підруч. — К.: Наук. думка, 2002
|
3. |
Летичевський О. О. Профілювання АПЛАН-програм. — 2002 // Пробл. программирования.
|
4. |
Летичевський О. О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів : Автореф. дис... канд. фіз.-мат. наук. — К., 2005
|
5. |
Летичевський О. А. Алгоритм Очевидності Глушкова // Кибернетика и систем. анализ. - 2013. - 49, № 4.
|
6. |
Летичевський О. А. В. М. Глушков і сучасна інформатика (від теорії автоматів до когнітивних архітектур) // Вісн. НАН України. - 2013. - № 8.
|
7. |
Летичевський О. О. Символьні методи у верифікації та тестуванні високонадійних систем // Радіоелектрон. і комп'ютер. системи. - 2016. - № 5.
|
8. |
Летичевський О. О. Символьні методи в тестуванні та верифікації високонадійних програмних систем : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03. — Київ, 2016
|
9. |
Летичевський О. А. Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) // Вісн. НАН України. - 2017. - № 2.
|
10. |
Самойленко А. М. Владислав Кирилович Дзядик (до 100-річчя від дня народження) // Укр. мат. журн.. - 2019. - 71, № 2.
|
11. |
Летичевський О. О. Алгебричний підхід у формалізації вразливостей в бінарному коді // Control Systems and Computers. - 2019. - № 6.
|
12. |
Летичевський О. О. Децентралізовані системи в логістиці: огляд використання та проблеми безпеки // Проблеми програмування. - 2020. - № 1.
|
13. |
Летичевський О. О. Техніка нечіткого тестування та її використання в задачах кібербезпеки // Кібернетика та систем. аналіз. - 2022. - 58, № 1.
|
14. |
Летичевський О. О. Інсерційна семантика VHDL-мови електронного дизайну // Кібернетика та систем. аналіз. - 2022. - 58, № 2.
|
15. |
Летичевський О. О. Сучасні методи та програмні системи молекулярного моделювання та застосування алгебри поведінок // Кібернетика та систем. аналіз. - 2022. - 58, № 3.
|
16. |
Летичевський О. О. Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики // Проблеми програмування. - 2020. - № 4.
|
17. |
Летичевський О. О. Алгебраїчний підхід та методи штучного інтелекту в сучасних системах виявлення вторгнень // Міжнар. наук.-техн. журн. Проблеми керування та інформатики. - 2023. - № 3.
|
18. |
Летичевський О. О. Когнітивні мережі, їхні властивості та застосування у системах виявлення та запобігання атакам // Кібернетика та систем. аналіз. - 2023. - 59, № 5.
|