SciNetwork

Ключевая фраза: формальная верификация

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «формальная верификация».
Статьи: 1
01.АЛГОРИТМ ОБНАРУЖЕНИЯ ПОТЕНЦИАЛЬНЫХ ПРОТИВОРЕЧИЙ МЕЖДУ SMART-СТАНДАРТАМИ НА ОСНОВЕ КЛАСТЕРИЗАЦИИ И ОЦЕНКИ EMD (2025)
Сохранить в закладках
Журнал:
МЕХАТРОНИКА, АВТОМАТИКА И РОБОТОТЕХНИКА
Автор(ы):
Проказин М. Р.
SciNetwork