PTTC.PNG
Skip to main content.

частная верификация

Дата последнего изменения:2013.03.15
Сообщить об ошибке
  частная верификация
Доказательство правильности программ, учитывающее основные, но не все возможные факторы.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]
EN

FR

Тематики

  • защита информации

EN

  • partial verification

 

Внимание!

Закрыть