 |
| |||
| программное обеспечение повышенной надёжности (Alex_Odeychuk) | |||
| |||
| высоконадёжный (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk); программное обеспечение с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) | |||
| высоконадёжное программное обеспечение (Alex_Odeychuk) | |||
| high -integrity software: 15 צירופים, 1 נושאים |
| תִכנוּת | 15 |