most of the research
| on
| continuous-time model checking
| most of the research | |
| progr. | большая часть исследований |
| on | |
| gen. | сверху; для; касательно; около |
| fire. | включено |
| Makarov. | исходя из; около; при |
| math. | исходя; по вопросу о |
| continuous-time model checking | |
| progr. | верификация с непрерывным временем |
| |||
| большая часть исследований (ssn) | |||
|
most of the research : 4 phrases in 2 subjects |
| Programming | 3 |
| Scientific | 1 |