Результати пошуку - "formalization" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

formal verification 5
формальна верифікація 5
IPCL 3
UDC 004.415.52 3
UDC 519.85 3
composition-nominative languages 3
concurrent program 3
formal model 3
insertion modeling 3
interleaving 3
large language models 3
УДК 004.415.52 3
УДК 519.85 3
великі мовні моделі 3
композиционно-номинативные языки 3
композиційно-номінативні мови 3
параллельная программа 3
формальна граматика 3
формальна модель 3
формальная верификация 3
інсерційне моделювання 3
2
004.89 2
159.95 2
Semantic Web 2
UDC 004.43::004.94 2
UDC 004.896 2
algebraic matching 2
algebraic modeling 2
behavior algebra 2

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

A method of formalizing the making decision process based on the theory of threshold elements за авторством Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

The software tool of constructive-synthesizing modeling за авторством Shynkarenko, V.I., Chyhir, R.R.

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

Economic and Mathematical Model of Formally Formed Prices for Power Sector за авторством Dobrovolsky V.K.

Method of detection of http attacks on a smart home using the algebraic matching method за авторством Gorbatiuk, V.O., Gorbatiuk, S.O.

ANTHILL: a progressive formalization language for agent-supported software projects за авторством Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Formal functional calculus for copolynomials over a commutative ring за авторством Gefter, Sergiy L., Piven', Aleksey L.

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment за авторством Zubok, V. Yu.

A resource limited parallel program model за авторством Rahozin, D.V.

FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES за авторством Lazorenko, O. V., Chernogor, L. F.

General formal local cohomology modules за авторством Rezaei, Sh.

The grammar of Petri-object model visual programming language за авторством Dyfuchyn, А.J., Stetsenko, I.V., Zharikov, E.V.

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

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

Semantic approach to automated formation of information security systems documentation за авторством Bova, Yu.V., Yatsenko, O.A.

Algebraic modeling in international and local service logistical systems за авторством Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

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

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

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). за авторством Poliagushko, L. G.

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

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

A method of formalizing the making decision process based on the theory of threshold elements за авторством Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

The software tool of constructive-synthesizing modeling за авторством Shynkarenko, V.I., Chyhir, R.R.

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

Economic and Mathematical Model of Formally Formed Prices for Power Sector за авторством Dobrovolsky V.K.

Method of detection of http attacks on a smart home using the algebraic matching method за авторством Gorbatiuk, V.O., Gorbatiuk, S.O.

ANTHILL: a progressive formalization language for agent-supported software projects за авторством Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Formal functional calculus for copolynomials over a commutative ring за авторством Gefter, Sergiy L., Piven', Aleksey L.

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment за авторством Zubok, V. Yu.

A resource limited parallel program model за авторством Rahozin, D.V.

FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES за авторством Lazorenko, O. V., Chernogor, L. F.

General formal local cohomology modules за авторством Rezaei, Sh.

The grammar of Petri-object model visual programming language за авторством Dyfuchyn, А.J., Stetsenko, I.V., Zharikov, E.V.

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

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

Semantic approach to automated formation of information security systems documentation за авторством Bova, Yu.V., Yatsenko, O.A.

Algebraic modeling in international and local service logistical systems за авторством Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

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

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

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). за авторством Poliagushko, L. G.

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

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації