Вход | Russian | Соглашение пользователя

Google | Forvo | +

subclass of formal verification called model checking

ударения

подвид формальной верификации, называемый верификация модели (ssn)

Добавить | Сообщить об ошибке | Короткая ссылка