 |
| |||
| проверка ПО | |||
| верификация программного обеспечения (компании AdaCore, North American Office Alex_Odeychuk); верификация программного обеспечения системы (см. IEC 61508-7: 2010 ssn); верификация программных средств (ssn); верификация программных систем (Alex_Odeychuk) | |||
| software verification: 27 phrases in 5 subjects |
| Automated equipment | 2 |
| Military | 3 |
| Programming | 17 |
| Software | 2 |
| Technology | 3 |