Terms containing continuous-time model

Subject	English	Russian
progr.	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)
math.	continuous-time model	модель c непрерывным временем (ssn)
math.	continuous-time model	непрерывная модель (в отличие от дискретной ssn)
comp.	continuous-time model	модель для непрерывного времени
progr.	continuous-time model checking	верификация с непрерывным временем (моделей ssn)
progr.	linear continuous time models	линейные непрерывные модели (ssn)
progr.	most of the research on continuous-time model checking	большая часть исследований по верификации с непрерывным временем (ssn)