Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
most of the research
|
all forms
|
exact matches only
|
in specified order only
English
Russian
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
большая часть исследований
(
ssn
)
most of the research
on continuous-time model checking
большая часть исследований по верификации с непрерывным временем
(
ssn
)
Get short URL