 |
| |||
| model checking (ssn) | |||
| |||
| model verification | |||
| model checking (ssn) | |||
| верификация моделей: 31 фраза в 7 тематиках |
| Автоматика | 1 |
| Водные ресурсы | 1 |
| Менеджмент | 1 |
| Программирование | 25 |
| Программное обеспечение | 1 |
| Радиолокация | 1 |
| Робототехника | 1 |
|
| |||
| model checking (ssn) | |||
| |||
| model verification | |||
| model checking (ssn) | |||
| верификация моделей: 31 фраза в 7 тематиках |
| Автоматика | 1 |
| Водные ресурсы | 1 |
| Менеджмент | 1 |
| Программирование | 25 |
| Программное обеспечение | 1 |
| Радиолокация | 1 |
| Робототехника | 1 |