|
-
Ключові слова:
сертифікація, сертификация, certificate ; система інформаційно-керуюча, система информационно-управляющая ; забезпечення програмне, обеспечение программное, software ; керування об'єктом, управление объектом ; верифікація, верификация
-
Анотація:
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки функциональности.
-
Є складовою частиною документа:
-
Теми документа
-
ББК науковий // Авиационная автоматика. Кибернетические системы
| 