Предмет: Техническое обслуживание автомобиля
Уровень: XI
Категория: студент
Тестовые вопросы: на русском языке
Пример вопроса: Какова цель формальной верификации алгоритмов управления в автомобильных системах? Снижение стоимости обслуживания, Доказательство корректности работы алгоритмов во всех допустимых состояниях, Повышение мощности двигателя, Упрощение конструкции автомобиля