CTL model
| checking algorithm
| CTL model | |
| AI. | темпоральная модель ветвящегося времени |
| checking algorithm | |
| mech. | алгоритм контроля |
| |||
| темпоральная модель ветвящегося времени (сокр. от "computational tree logic model" Alex_Odeychuk) | |||
|
CTL model : 6 phrases in 1 subject |
| Programming | 6 |