most of the research
| on
| continuous-time model checking
| most of the research | |
| progr. | большая часть исследований |
| ON | |
| busin. | ОНТАРИО |
| Makarov. | число заполнения |
| math. | ортонормальный; открытая окрестность |
| oil | октановое число |
| tech. | ВКЛ |
| on | |
| gen. | на экране; левая сторона |
| auto. | положение "включено"; включённый |
| continuous-time model checking | |
| progr. | верификация с непрерывным временем |
| |||
| большая часть исследований (ssn) | |||
|
most of the research : 4 phrases in 2 subjects |
| Programming | 3 |
| Scientific | 1 |