Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
German
Terms
for subject
Programming
containing
непрерывная часть
|
all forms
|
exact matches only
|
in specified order only
Russian
English
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели
Certainly, most of the research on continuous-time model checking is based on this model
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
большая часть исследований по верификации с непрерывным временем
most of the research on continuous-time model checking
(
ssn
)
как часть процесса непрерывного развёртывания
continuous deployment
(
Alex_Odeychuk
)
логически
непрерывная часть
logically continuous portion
(
ssn
)
логически
непрерывная часть
текста описания
logically continuous portion of the description text
(
ssn
)
непрерывная итерация: данный конструктив состоит из процедурной части и управляющей части с неявно заданным условием, которое определяет, что процедурная часть может повторяться неограниченно
continuous iteration: This construct consists of a procedure part and a control part with an implicit condition which specifies that the procedure part will be repeated indefinitely
(см.
ISO/IEC 8631:1989
ssn
)
Get short URL