BOUNDED MODEL CHECKING


Англо-русский перевод BOUNDED MODEL CHECKING

проверка (точности) модели c ограничениями (путем сравнения с результатами другой модели того же объекта)

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.