Results for "formal methods"

Results for "formal methods" Showing 1 - 50 results of 72 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22formal+methods%22&type=AllFields&lng=en 72 0 50 Формалізований метод рішення багатокритеріальних задач Sun, 15 Mar 2026 09:24:10 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-210881 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-210881 Воронін, А.М. Article 2022 Воронін, А.М. 0 Метод пошуку і аналізу е-домішок та інших складників у продуктах харчування населення Sun, 08 Feb 2026 08:10:40 +0000 https://harvester.nas.gov.ua/Record/oai:oeipt.vntu.edu.ua:article-798 https://harvester.nas.gov.ua/Record/oai:oeipt.vntu.edu.ua:article-798 Бісікало, О.В. Article 2026 Бісікало, О.В. 0 A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems Sun, 07 Dec 2025 21:13:00 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1481 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1481 Hudak, S. Article 2008 Hudak, S. 0 Ахматова и формалисты: заметки к теме Sun, 07 Dec 2025 20:38:19 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-91145 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-91145 Темненко, Г.М. Article 2012 Темненко, Г.М. 0 Насколько формальны формальные методы? Sun, 07 Dec 2025 20:25:22 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-83406 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-83406 Тарасюк, О.М. Article 2011 Тарасюк, О.М. 0 Ассоциативный поиск для задач обучения на основе электронного тезауруса образов Sun, 07 Dec 2025 20:09:12 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-5548 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-5548 Бисикало, О.В. Article 2009 Бисикало, О.В. 0 Стратегічні орієнтири рівня життя та рівня освіти як основа існування середнього класу в Україні Sun, 07 Dec 2025 19:55:31 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-151656 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-151656 Харазішвілі, Ю.М. Article 2019 Харазішвілі, Ю.М. 0 Особенности применения формальных подходов к моделированию действия лекарственных комплексов Sun, 07 Dec 2025 19:46:52 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-17402 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-17402 Долгополов, И.Н. Article 2010 Долгополов, И.Н. 0 Корреляция значений фрактальных характеристик структуры материала по электронно-микроскопическим фотографиям поверхности образцов со значениями их физико-механических характеристик Sun, 07 Dec 2025 19:30:25 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-125899 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-125899 Красикова, И.Е. Article 2016 Красикова, И.Е. 0 Концептуальная модель регламентной поддержки развития интеллектуального потенциала персонала предприятия Sun, 07 Dec 2025 19:14:45 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-49452 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-49452 Шаталова, Т.С. Article 2012 Шаталова, Т.С. 0 В. М. Даниленко та періодизація неоліту Південного Бугу: нові запитання до старих джерел Sun, 07 Dec 2025 18:42:55 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-195557 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-195557 Гаскевич, Д.Л. Article 2013 Гаскевич, Д.Л. 0 Математичні моделі рухомих об’єктів Sun, 07 Dec 2025 18:35:44 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-50568 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-50568 Цибульська, Є.О. Article 2012 Цибульська, Є.О. 0 Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS Sun, 07 Dec 2025 17:56:06 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-14631 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-14631 Безверха, М.А. Article 2010 Безверха, М.А. 0 Molecular modeling in the radiation therapy. The algebraic approach Sun, 07 Dec 2025 17:31:43 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188646 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188646 Volkov, V.A. Article 2022 Volkov, V.A. 0 Метод генерации тестовых данных по исходному коду Java программ Sun, 07 Dec 2025 17:16:15 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-132069 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-132069 Колчин, А.В. Article 2016 Колчин, А.В. 0 Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering Sun, 07 Dec 2025 16:49:33 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-45247 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-45247 Bjorner, D. Article 2010 Bjorner, D. 0 Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A Sun, 07 Dec 2025 16:19:29 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-51617 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-51617 Тарасюк, О.М. Article 2010 Тарасюк, О.М. 0 Об одном подходе к разработке качественного программного обеспечения Sun, 07 Dec 2025 15:12:18 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-7824 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-7824 Абасова, С.Э. Article 2009 Абасова, С.Э. 0 Formal methods of parallel software design automation Sun, 07 Dec 2025 15:11:56 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-170619 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-170619 Doroshenko, A.Yu. Article 2020 Doroshenko, A.Yu. 0 A simple parsimony-based approach to assess ancestor-descendant relationships Sun, 07 Dec 2025 13:13:04 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-178494 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-178494 Aubert, D. Article 2017 Aubert, D. 0 Підходи до формалізації проектування застосувань в технології GPGPU Tue, 02 Dec 2025 14:10:59 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-86111 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-86111 Погорілий, С.Д. Article 2014 Погорілий, С.Д. 0 Алгебраїчні шаблони вразливостей бінарного коду Mon, 01 Dec 2025 15:00:24 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-180422 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-180422 Яковлев, В.М. Article 2020 Яковлев, В.М. 0 Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна Sun, 30 Nov 2025 22:51:46 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-209321 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-209321 Погорелый, С.Д. Article 2008 Погорелый, С.Д. 0 Formal semantics and analysis of tokenomics properties Sun, 30 Nov 2025 15:38:45 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188637 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-188637 Letychevskyi, O.O. Article 2022 Letychevskyi, O.O. 0 Объективизация нечетких классификационных моделей формирования межпредметных связей Sun, 30 Nov 2025 14:30:19 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-56843 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-56843 Ватлин, С.И. Article 2010 Ватлин, С.И. 0 Огляд сучасних методів захищеності та безпеки програмних систем Fri, 28 Nov 2025 14:22:10 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-181039 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-181039 Летичевський, О.О. Article 2019 Летичевський, О.О. 0 Основные методологические проблемы внедрения корпоративных информационных систем при реорганизации предприятий республики Крым Fri, 28 Nov 2025 07:13:58 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-92647 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-92647 Власюк, В.В. Article 2014 Власюк, В.В. 0 C# program verification problems: solution by a three-level method Fri, 28 Nov 2025 03:44:54 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1479 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1479 Promsky, A.V. Article 2008 Promsky, A.V. 0 Формальные модели компонентного программирования Fri, 28 Nov 2025 02:17:17 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1302 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1302 Грищенко, В.Н. Article 2003 Грищенко, В.Н. 0 Решение задачи ограничения пространств неопределенности Thu, 27 Nov 2025 10:30:35 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-13880 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-13880 Дидук, Н.Н. Article 2006 Дидук, Н.Н. 0 Модельно-параметрическое пространство – средство представления знаний исследователей сложных систем Wed, 26 Nov 2025 20:55:27 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-5542 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-5542 Валькман, Ю.Р. Article 2009 Валькман, Ю.Р. 0 Сучасні концепції формалізації фінансової стратегії банку Wed, 26 Nov 2025 19:50:27 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-20889 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-20889 Матвієнко, С. Article 2010 Матвієнко, С. 0 Об одном методе моделирования неопределенностей технико-экономических данных в задачах оценивания научно-технических проектов Wed, 26 Nov 2025 09:51:40 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-116689 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-116689 Марченко, В.Т. Article 2016 Марченко, В.Т. 0 Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители Tue, 25 Nov 2025 23:32:44 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-84226 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-84226 Андон, Ф.И. Article 2011 Андон, Ф.И. 0 Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри Tue, 25 Nov 2025 21:04:16 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1681 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-1681 Матвеева, Л.Е. Article 2004 Матвеева, Л.Е. 0 Формальные методы анализа дискретных систем с использованием языка спецификаций Tue, 25 Nov 2025 20:15:38 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-44382 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-44382 Крывый, С.Л. Article 2009 Крывый, С.Л. 0 Мовна картина світу: проблема організації складників Tue, 25 Nov 2025 13:14:38 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-183753 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-183753 Огуй, О.Д. Article 2013 Огуй, О.Д. 0 Агапій Шамрай у пошуках синтетичної теорії літератури: 1920-ті роки Mon, 24 Nov 2025 11:40:25 +0000 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-184797 https://harvester.nas.gov.ua/Record/nasplib_isofts_kiev_ua-123456789-184797 Бабак, Г. Article 2022 Бабак, Г. 0 Formal semantics and analysis of tokenomics properties Fri, 21 Nov 2025 02:19:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-515 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-515 Letychevskyi, O.O. Article 2023 Letychevskyi, O.O. 0 Algebraic approach to the analysis of legal documents Fri, 21 Nov 2025 02:19:17 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 Letychevskyi, O.O. Article 2023 Letychevskyi, O.O. 0 Digital twins in intrusion detection systems based on deep learning Tue, 04 Nov 2025 02:10:12 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-834 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-834 Letychevskyi, O.O. Article 2025 Letychevskyi, O.O. 0 Deductive verification of requirements for event-driven architecture Wed, 17 Sep 2025 09:21:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-778 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-778 Letichevsky, A.A. Article 2025 Letichevsky, A.A. 0 Formal methods of parallel software design automation Thu, 17 Jul 2025 12:00:05 +0000 https://harvester.nas.gov.ua/Record/open-sciencenbuvgovua-10497 https://harvester.nas.gov.ua/Record/open-sciencenbuvgovua-10497 Yu. Doroshenko Article 2020 Yu. Doroshenko 0 Analysis of time series by the example of registration of variations in the gravitational field Thu, 17 Jul 2025 11:12:16 +0000 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-239960 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-239960 Burtiev, R.Z. Article 2021 Burtiev, R.Z. 0 Mathematical Models of Moving Objects Thu, 17 Jul 2025 10:56:12 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-105048 https://harvester.nas.gov.ua/Record/drspiprikievua-article-105048 Tsybulska, Е. O. Article 2012 Tsybulska, Е. O. 0 Рішення задачі обмеження просторів невизначеності Thu, 17 Jul 2025 10:24:52 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-165467 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-165467 Diduk, N. N. Article 2019 Diduk, N. N. 0 Підходи до формалізації проектування застосувань в технології GPGPU Thu, 17 Jul 2025 10:18:26 +0000 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-37424 https://harvester.nas.gov.ua/Record/journaliasakpiua-article-37424 Pogorilyy, S. D. Article 2014 Pogorilyy, S. D. 0 Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation Thu, 17 Jul 2025 10:09:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-8 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-8 Goerigk, W. Article 2015 Goerigk, W. 0 Development and substantiation of algorithms based on semantic properties Thu, 17 Jul 2025 10:08:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-706 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-706 Kryvyi, S.L. Article 2025 Kryvyi, S.L. 0 REALISTIC CORRECT SYSTEMS IMPLEMENTATION Thu, 17 Jul 2025 10:05:23 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-3 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-3 Goerigk, W. Article 2015 Goerigk, W. 0