Результати пошуку - "formal methods"

Рекомендовані теми у межах Вашого пошуку.
Уточнити результати
  1. 1
    Зображення обкладинки

    Formalized method for solving multicriteria problems за авторством A. M. Voronin, A. S. Savchenko

    Опубліковано 2022
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    The Formal method of Component Basic Programming за авторством Grischenko, V.N.

    Опубліковано 2015
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Formal methods of parallel software design automation за авторством Doroshenko, A.Yu., Yatsenko, O.A.

    Опубліковано в: Доповіді НАН України (2020)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Formal methods of parallel software design automation за авторством Yu. Doroshenko, O. A. Yatsenko

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Molecular modeling in the radiation therapy. The algebraic approach за авторством Volkov, V.A., Tarasich, Yu.H.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Формалізований метод рішення багатокритеріальних задач за авторством Воронін, А.М., Савченко, А.С.

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Насколько формальны формальные методы? за авторством Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

    Опубліковано в: Математичні машини і системи (2011)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Формальные модели компонентного программирования за авторством Грищенко, В.Н.

    Опубліковано 2003
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна за авторством Погорелый, С.Д., Бойко, Ю.В., Лозицкий, С.И., Гусаров, А.Д.

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Формальные методы анализа дискретных систем с использованием языка спецификаций за авторством Крывый, С.Л., Чугаенко, А.В.

    Опубліковано в: Кибернетика и системный анализ (2009)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A за авторством Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

    Опубліковано в: Математичні машини і системи (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering за авторством Bjorner, D.

    Опубліковано в: Кибернетика и системный анализ (2010)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Опубліковано 2023
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Особенности применения формальных подходов к моделированию действия лекарственных комплексов за авторством Долгополов, И.Н.

    Опубліковано 2010
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Опубліковано 2015
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    Domain engineering approach of software requirements analysis за авторством Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    Метод генерации тестовых данных по исходному коду Java программ за авторством Колчин, А.В., Потиенко, С.В.

    Опубліковано в: Штучний інтелект (2016)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

    C# program verification problems: solution by a three-level method за авторством Promsky, A.V.

    Опубліковано 2008
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

    Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители... за авторством Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.

    Опубліковано в: Кибернетика и системный анализ (2011)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: