ГОСТНОРМ
ГОСТ Р ИСО/МЭК 24029-2-2024Искусственный интеллект. Оценка робастности нейронных сетей. Часть 2. Методология использования формальных методов