Formalized method for solving multicriteria problems von A. M. Voronin, A. S. Savchenko

Volltext

The Formal method of Component Basic Programming von Grischenko, V.N.

Volltext

Formal methods of parallel software design automation von Doroshenko, A.Yu., Yatsenko, O.A.

Volltext

Formal methods of parallel software design automation von Yu. Doroshenko, O. A. Yatsenko

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

Формалізований метод рішення багатокритеріальних задач von Воронін, А.М., Савченко, А.С.

Volltext

Насколько формальны формальные методы? von Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

Volltext

Формальные модели компонентного программирования von Грищенко, В.Н.

Volltext

Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна von Погорелый, С.Д., Бойко, Ю.В., Лозицкий, С.И., Гусаров, А.Д.

Volltext

Формальные методы анализа дискретных систем с использованием языка спецификаций von Крывый, С.Л., Чугаенко, А.В.

Volltext

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A von Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.

Volltext

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

Volltext

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

Volltext

Особенности применения формальных подходов к моделированию действия лекарственных комплексов von Долгополов, И.Н.

Volltext

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

Volltext

Domain engineering approach of software requirements analysis von Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Volltext

Метод генерации тестовых данных по исходному коду Java программ von Колчин, А.В., Потиенко, С.В.

Volltext

C# program verification problems: solution by a three-level method von Promsky, A.V.

Volltext

Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители... von Андон, Ф.И., Дорошенко, А.Е., Жереб, К.А.

Volltext