Вход
|
Russian
|
Соглашение пользователя
Словари
Форум
Купить
Скачать
Контакты
Русский
⇄
Английский
G
o
o
g
l
e
|
Forvo
|
+
Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени
ударения
прогр.
an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
Добавить
|
Сообщить об ошибке
|
Короткая ссылка
|
Способы выбора языков