 |
| |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
|
codes validation : 15 צירופים, 9 נושאים |
| אבטחת מידע והגנת מידע | 1 |
| בַּנקָאוּת | 3 |
| טֶכנוֹלוֹגִיָה | 1 |
| מיקרוסופט | 2 |
| מרשתת | 1 |
| ננוטכנולוגיה | 1 |
| נשק להשמדה המונית | 1 |
| תִכנוּת | 4 |
| תעשיית האנרגיה | 1 |