 |
| |||
| верификация программного обеспечения (AdaCore, North American Office Alex_Odeychuk); верификация программного обеспечения системы (см. IEC 61508-7: 2010 ssn); верификация программных средств (ssn); верификация программных систем (Alex_Odeychuk) | |||
| проверка ПО | |||
|
software verification : 32 短语, 6 学科 |
| 军队 | 3 |
| 技术 | 3 |
| 空间 | 1 |
| 编程 | 17 |
| 自动化设备 | 2 |
| 软件 | 6 |