Публикация №3978

Название публикацииСИСТЕМНЫЙ ПОДХОД К БЕЗОПАСНОСТИ ТЕХНОЛОГИИ ВЕРИФИЦИРОВАННОГО АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПРОГРАММ
Название на другом языке
Тип публикацииСтатья
ИзданиеСовременные наукоемкие технологии
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2005
ТомНе задан
Номер3
ГлаваНе задан
Страницы51-54
АннотацияНе задан
АвторыБочкарева Ю.Г.
и др.
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(1996) ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ЗАЩИТЫ ИНФОРМАЦИИ