Search Results - "formal methods"

Suggested Topics within your search.
Refine Results
  1. 21
    Cover Image

    Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри... by Матвеева, Л.Е.

    Published 2004
    Get full text
    Article

    Save to List
    Saved in:
  2. 22
    Cover Image

    Ассоциативный поиск для задач обучения на основе электронного тезауруса образов by Бисикало, О.В.

    Published 2009
    Get full text
    Article

    Save to List
    Saved in:
  3. 23
    Cover Image

    Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  4. 24
    Cover Image

    Formal semantics and analysis of tokenomics properties by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Get full text
    Article

    Save to List
    Saved in:
  5. 25
    Cover Image

    Digital twins in intrusion detection systems based on deep learning by Letychevskyi, O.O., Yevdokymov, S.O.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  6. 26
    Cover Image

    Рішення задачі обмеження просторів невизначеності by Diduk, N. N.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  7. 27
    Cover Image

    Решение задачи ограничения пространств неопределенности by Дидук, Н.Н.

    Published 2006
    Get full text
    Article

    Save to List
    Saved in:
  8. 28
    Cover Image

    Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS by Безверха, М.А., Процик, П.П.

    Published 2010
    Get full text
    Article

    Save to List
    Saved in:
  9. 29
    Cover Image

    Об одном подходе к разработке качественного программного обеспечения by Абасова, С.Э., Абдуллаев, С.Г.

    Published 2009
    Get full text
    Article

    Save to List
    Saved in:
  10. 30
    Cover Image

    Formal verification of the properties of coreferent resolution model based on decision trees by Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.

    Published 2024
    Get full text
    Article

    Save to List
    Saved in:
  11. 31
    Cover Image

    Огляд сучасних методів захищеності та безпеки програмних систем by Летичевський, О.О., Песчаненко, В.С., Гринюк, Я.В., Радченко, В.Ю., Яковлев, В.М.

    Get full text
    Article

    Save to List
    Saved in:
  12. 32
    Cover Image

    Automated design of programs for .NET platform using Task Parallel Library by Doroshenko, А.Yu., Yatsenko, O.A.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  13. 33
    Cover Image

    Мовна картина світу: проблема організації складників by Огуй, О.Д.

    Published in Мовознавство (2013)
    Get full text
    Article

    Save to List
    Saved in:
  14. 34
    Cover Image

    Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation by Goerigk, W., Langmaack, H.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  15. 35
    Cover Image

    Algorithm for automatic loop parallelization for graphics processing units by Doroshenko, А.Yu., Yatsenko, O.A., Beketov, O.G.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  16. 36
    Cover Image

    Design of a terrain surface visualization program using algebra-algorithmic tools by Doroshenko, А.Yu., Kushnirenko, R.V., Yatsenko, O.A.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  17. 37
    Cover Image

    A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems by Hudak, S., Korecko, S., Simonak, S.

    Published 2008
    Get full text
    Article

    Save to List
    Saved in:
  18. 38
    Cover Image

    Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  19. 39
    Cover Image

    Molecular modeling in the radiation therapy. The algebraic approach by Volkov, V.A., Tarasich, Yu.H.

    Get full text
    Article

    Save to List
    Saved in:
  20. 40
    Cover Image

    DS-theory. Scientific aspects and prospects for development by Kolesnyk, V.G.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: