DictionaryForumContacts

   English
Terms for subject Programming containing most of the research | all forms | exact matches only | in specified order only
EnglishRussian
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)