Follow
Виктор Зиновьевич Шнитман
Title
Cited by
Cited by
Year
Обзор подходов к верификации распределенных систем
ИБ Бурдонов, АС Косачев, ВН Пономаренко, ВЗ Шнитман
Препринт 16 ИСП РАН, 1-61, 2006
242006
Современные высокопроизводительные компьютеры. Информационноаналитические материалы центра информационных технологий, 1996: http
В Шнитман
hardware/app_kis, 1996
241996
Современные высокопроизводительные компьютеры. Информационно-аналитические материалы центра информационных технологий, 1996: http
В Шнитман
hardware/app_kis, 1996
241996
Аппаратно-программные платформы корпоративных информационных систем
ВЗ Шнитман, СД Кузнецов
М.: МГУ, 2015
202015
Современные высокопроизводительные компьютеры
В Шнитман
CIT Forum, 1996
171996
Разработка тестового набора для верификации реализаций протокола безопасности TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 23, 387-404, 2012
152012
Отказоустойчивые компьютеры компании Stratus
В Шнитман
Открытые системы, 12-22, 1998
121998
Тестирование реализаций клиента протокола TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 27 (2), 145-160, 2015
112015
Автоматизация тестирования соответствия для телекоммуникационных протоколов
НВ Пакулин, ВЗ Шнитман, АВ Никешин
Труды Института системного программирования РАН 26 (1), 109-148, 2014
112014
Серверы корпоративных баз данных, информационноаналитические материалы центра информационных технологий
ВЗ Шнитман, СД Кузнецов
Проверено, 2014
102014
Применение формальных методов для тестирования Mobile IPv6
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Тезисы международной конференции Интернет нового поколения–IPv6, г…, 2003
10*2003
ПРИМЕНЕНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ ТЕСТИРОВАНИЯ РЕАЛИЗАЦИИ IPV6.
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Труды Института системного программирования РАН 4, 121-140, 2003
102003
Науч ные, технологические и методические аспекты создания вычис лительной системы" Электроника СС БИС–1"
ВА Мельников, ЮИ Митропольский, ВЗ Шнитман
Юби лейный сборник трудов Отделения информатики, вычислитель ной техники и…, 1993
81993
Model-based testing of internet e-mail protocols
NV Pakulin, AN Tugaenko, VZ Shnitman
Programming and Computer Software 38, 268-275, 2012
72012
Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета
АВ Никешин, ВЗ Шнитман
Труды Института системного программирования РАН 30 (6), 89-104, 2018
62018
Современные высокопроизводительные компьютеры [Электронный ресурс]
В Шнитман
Информ.-аналит. материалы Центра информ. технологий. Электрон. дан, 1996
61996
Серверы корпоративных баз данных
ВЗ Шнитман, СД Кузнецов
ww. citforum. ru, 2017
52017
Мутационное тестирование сетевых протоколов с использованием формальных моделей
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции…, 2015
52015
Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 18, 151-182, 2010
52010
Автоматизированное тестирование сетевых сервисов Интернет-протокола
ГВ Ключников, НВ Пакулин, ВЗ Шнитман
Труды Всероссийской научной конференции Научный сервис в сети ИНТЕРНЕТ…, 2005
52005
The system can't perform the operation now. Try again later.
Articles 1–20