| 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) |
| continuous real time | непрерывное реальное время (ssn) |
| continuous real-time system | система непрерывного реального времени (ssn) |
| continuous real-time systems | системы непрерывного реального времени (ssn) |
| continuous time | непрерывный во времени (ssn) |
| continuous time | аналоговый (ssn) |
| continuous time case | случай непрерывного времени (противопоставляется дискретному случаю (discrete case); см. напр., Control system design by Graham C. Goodwin et al. (2000) ssn) |
| continuous time description | аналоговое описание (системы ssn) |
| continuous time description | непрерывное во времени описание (системы ssn) |
| Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| continuous time system | непрерывная система (ssn) |
| continuous time systems | непрерывные системы (ssn) |
| continuous-time dynamical system | динамическая система с непрерывным временем (ssn) |
| continuous-time dynamical systems | динамические системы с непрерывным временем (ssn) |
| continuous-time markov chain | непрерывная цепь Маркова (ssn) |
| continuous-time markov chains | непрерывные цепи Маркова (ssn) |
| continuous-time model checking | верификация с непрерывным временем (моделей ssn) |
| continuous-time process | непрерывный процесс (ssn) |
| different models of continuous time | различные модели непрерывного времени (ssn) |
| linear continuous time models | линейные непрерывные модели (ssn) |
| linear models of continuous-time processes | линейные модели непрерывных процессов (ssn) |
| linear time-invariant continuous model | линейная непрерывная модель с постоянными параметрами (ssn) |
| methods for verifying continuous real-time systems | методы верификации систем непрерывного реального времени (ssn) |
| models of continuous time | модели непрерывного времени (ssn) |
| more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
| most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
| number of different models of continuous time | множество различных моделей непрерывного времени (ssn) |
| time-invariant continuous model | непрерывная модель с постоянными параметрами (ssn) |
| verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
| verifying continuous real-time systems | верификация систем непрерывного реального времени (ssn) |