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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

General formal local cohomology modules von Rezaei, Sh.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext