М.: Газинформсервис, 2014. — 24 с.
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Методология проведения контроля на НДВ
Метод динамического контроля хода выполнения программ
Метод статического анализа на основе определяющих отношений подобия
Обзор инструментов технологии Ирида
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Методология проведения контроля на НДВ
Метод динамического контроля хода выполнения программ
Метод статического анализа на основе определяющих отношений подобия
Обзор инструментов технологии Ирида