Search Results - "formalization"

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

    Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    A method of formalizing the making decision process based on the theory of threshold elements by Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    The software tool of constructive-synthesizing modeling by Shynkarenko, V.I., Chyhir, R.R.

    Published 2024
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Algebraic approach to the analysis of legal documents by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Economic and Mathematical Model of Formally Formed Prices for Power Sector by Dobrovolsky V.K.

    Published 2000
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Method of detection of http attacks on a smart home using the algebraic matching method by Gorbatiuk, V.O., Gorbatiuk, S.O.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    ANTHILL: a progressive formalization language for agent-supported software projects by Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    Formal functional calculus for copolynomials over a commutative ring by Gefter, Sergiy L., Piven', Aleksey L.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment by Zubok, V. Yu.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    A resource limited parallel program model by Rahozin, D.V.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

    FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES by Lazorenko, O. V., Chernogor, L. F.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

    General formal local cohomology modules by Rezaei, Sh.

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

    The grammar of Petri-object model visual programming language by Dyfuchyn, А.J., Stetsenko, I.V., Zharikov, E.V.

    Published 2022
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    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.

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Cover Image

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

    Published 2023
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Cover Image

    Semantic approach to automated formation of information security systems documentation by Bova, Yu.V., Yatsenko, O.A.

    Published 2026

    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    Cover Image

    Algebraic modeling in international and local service logistical systems by Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

    Published 2021
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    Cover Image

    Formal theory model in the form of commutative semigroup of image constructions by Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    Cover Image

    Formal theory model in the form of commutative semigroup of image constructions by Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Cover Image

    An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). by Poliagushko, L. G.

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: