Автор Кавчук Дарья Александровна Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 6 ( ноябрь-декабрь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Кавчук Дарья Александровна

Место работы: CloudLinux Inc., Пало-Альто, 94303, США
Должность: программист
E-mail: dasha.kavchuk@yandex.ru

Кавчук Д. А., Матвеев Ю. Н. АВТОМАТИЧЕСКИЙ АНАЛИЗ ЗАЩИЩЕННОСТИ ИНФОРМАЦИОННЫХ СИСТЕМ БЕЗ ИСПОЛЬЗОВАНИЯ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ
Статья опубликована в выпуске №3, том 17, 2017

Информация 2001-2025 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.