Search Results - "formal methods" :: Harvester open publications of NAS Ukraine

1

The Formal method of Component Basic Programming

by Grischenko, V.N.
Published 2015

Get full text

Article

2

Formalized method for solving multicriteria problems

by A. M. Voronin, A. S. Savchenko
Published 2022

Get full text

Article

3

Formal methods of parallel software design automation

by Yu. Doroshenko, O. A. Yatsenko
Published 2020

Get full text

Article

4

Formal methods of parallel software design automation

by Doroshenko, A.Yu., Yatsenko, O.A.
Published in Доповіді НАН України (2020)

Get full text

Article

5

Molecular modeling in the radiation therapy. The algebraic approach

by Volkov, V.A., Tarasich, Yu.H.
Published 2023

Get full text

Article

6

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

7

Насколько формальны формальные методы?

by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Published in Математичні машини і системи (2011)

Get full text

Article

8

Формальные модели компонентного программирования

by Грищенко, В.Н.
Published 2003

Get full text

Article

9

Формалізований метод рішення багатокритеріальних задач

by Voronin, Albert, Savchenko, Alina
Published 2023

Get full text

Article

10

Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна

by Погорелый, С.Д., Бойко, Ю.В., Лозицкий, С.И., Гусаров, А.Д.
Published in Проблемы управления и информатики (2008)

Get full text

Article

11

Формальные методы анализа дискретных систем с использованием языка спецификаций

by Крывый, С.Л., Чугаенко, А.В.
Published in Кибернетика и системный анализ (2009)

Get full text

Article

12

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

by Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Published in Математичні машини і системи (2010)

Get full text

Article

13

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering

by Bjorner, D.
Published in Кибернетика и системный анализ (2010)

Get full text

Article

14

Algebraic approach to the analysis of legal documents

by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
Published 2023

Get full text

Article

15

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

16

Обзор современных систем и методов верификации формальных моделей

by Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Published in Проблеми програмування (2012)

Get full text

17

Особенности применения формальных подходов к моделированию действия лекарственных комплексов

by Долгополов, И.Н.
Published 2010

Get full text

Article

18

Domain engineering approach of software requirements analysis

by Chebanyuk, O.V., Palahin, O.V., Markov, K.K.
Published 2020

Get full text

Article

19

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

by Матвеева, Л.Е.
Published 2004

Get full text

Article

20

Разработка инструментальных средств для проверки формальных моделей

by Колчин, А.В.
Published 2008

Get full text

Article

Refine Results