METHODOLOGY FOR DEVELOPING AND VERIFYING MULTIVARIATE ALGORITHMS UNDER UNCERTAINTY

Universum Technical sciences 2026 Open access

Read full text
Authors: Михалев Михаил Юрьевич
DOI: 10.32743/unitech.2026.142.1.21827
Cited by: 0

Abstract

Михалев М.Ю. МЕТОДОЛОГИЯ РАЗРАБОТКИ И ВЕРИФИКАЦИИ МУЛЬТИВАРИАНТНЫХ АЛГОРИТМОВ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ // Universum: технические науки : электрон. научн. журн. 2026. 1(142). URL: https://7universum.com/ru/tech/archive/item/21827

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Mathematical and Computational Methods

Publication details

Journal / source
Universum Technical sciences
Volume
142
Issue
1
Publication date
28 January 2026
Language
RU