 |
| |||
| model verification | |||
| model checking (ssn) | |||
| |||
| model checking (ssn) | |||
| верификация модели: 31 phrases in 7 subjects |
| Automated equipment | 1 |
| Management | 1 |
| Programming | 25 |
| Radiolocation | 1 |
| Robotics | 1 |
| Software | 1 |
| Water resources | 1 |
|
| |||
| model verification | |||
| model checking (ssn) | |||
| |||
| model checking (ssn) | |||
| верификация модели: 31 phrases in 7 subjects |
| Automated equipment | 1 |
| Management | 1 |
| Programming | 25 |
| Radiolocation | 1 |
| Robotics | 1 |
| Software | 1 |
| Water resources | 1 |