Рекомендовані теми у межах Вашого пошуку.
Альтернативи пошуку:
"formal methods" » "formal method" (Розширити пошук)
Показ 41 - 60 результатів із 78 для пошуку '"formal methods"', час виконання запиту: 0.20сек. Уточнити результати
  1. 41
    Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 42
    Мовна картина світу: проблема організації складників
    за авторством Огуй, О.Д.
    Опубліковано в: Мовознавство (2013)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 43
    Deductive verification of requirements for event-driven architecture
    за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 44
    Deductive verification of requirements for event-driven architecture
    за авторством Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.
    Опубліковано в: Проблеми програмування (2013)
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  5. 45
    DS-теория. Научные аспекты и перспективы развития
    за авторством Колесник, В.Г.
    Опубліковано в: Проблеми програмування (2017)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 46
    Development and substantiation of algorithms based on semantic properties
    за авторством Kryvyi, S.L., Maksymets, O.M.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 47
    To the issue of optimizing cloud computing based on their cost
    за авторством Doroshenko, А.Yu., Novak, O.S.
    Опубліковано 2021
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 48
    A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
    за авторством Hudak, S., Korecko, S., Simonak, S.
    Опубліковано 2008
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  9. 49
    Method of detection of http attacks on a smart home using the algebraic matching method
    за авторством Gorbatiuk, V.O., Gorbatiuk, S.O.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 50
    Automated design of OpenCL programs based on algebra-algorithmic approach
    за авторством Doroshenko, А.Yu., Bondarenko, M.M., Yatsenko, O.A.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 51
    Molecular modeling in the radiation therapy. The algebraic approach
    за авторством Volkov, V.A., Tarasich, Yu.H.
    Опубліковано в: Проблеми програмування (2022)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 52
    The completeness of the algorithm algebra with data
    за авторством Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  13. 53
    Верификация программ: состояние, проблемы, результаты. I
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  14. 54
    Концептуальная модель регламентной поддержки развития интеллектуального потенциала персонала предприятия
    за авторством Шаталова, Т.С.
    Опубліковано в: Економіка промисловості (2012)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  15. 55
    Verification of programs: status, problems and experimental results. I
    за авторством Maksymets, A.N.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  16. 56
    Formal and adaptive methods and software tools of parallel programming
    за авторством Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  17. 57
    Improving performance of Python code using rewriting rules technique
    за авторством Zhereb, K.A.
    Опубліковано 2020
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  18. 58
    Основные методологические проблемы внедрения корпоративных информационных систем при реорганизации предприятий республики Крым
    за авторством Власюк, В.В., Попов, В.Б.
    Опубліковано в: Культура народов Причерноморья (2014)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  19. 59
    Алгебраїчні шаблони вразливостей бінарного коду
    за авторством Яковлев, В.М.
    Опубліковано в: Проблеми програмування (2020)
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  20. 60
    Algebraic patterns of binary code vulnerabilities
    за авторством Yakovlev, V.M.
    Опубліковано 2020
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук