| |||
safety-critical (корпорации AdaCore Alex_Odeychuk); high-integrity (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
с высоким уровнем полноты безопасности: 23 фрази в 3 тематиках |
Нафта і газ | 1 |
Програмне забезпечення | 1 |
Програмування | 21 |