RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Подымов Владислав Васильевич

В базах данных Math-Net.Ru
Публикаций: 6
Научных статей: 6

Статистика просмотров:
Эта страница:81
Страницы публикаций:818
Полные тексты:326
Списки литературы:57
кандидат физико-математических наук

http://www.mathnet.ru/rus/person80110
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0002-2041-7634

Публикации в базе данных Math-Net.Ru
2019
1. Н. Ю. Куцак, В. В. Подымов, “Формальная верификация диаграмм троичных цифровых сигналов”, Модел. и анализ информ. систем, 26:3 (2019),  332–350  mathnet
2018
2. А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов, “Анализ баллистокардиограммы на граничных вычислительных узлах”, Труды ИСП РАН, 30:2 (2018),  251–262  mathnet  elib
2015
3. В. А. Захаров, В. С. Алтухов, В. В. Подымов, Е. В. Чемерицкий, “VERMONT – средство верификации программно-конфигурируемых сетей”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, 1(212),  74–87  mathnet
4. В. А. Захаров, В. В. Подымов, “Применение алгоритмов проверки эквивалентности для оптимизации программ”, Труды ИСП РАН, 27:4 (2015),  145–174  mathnet  elib
2014
5. В. В. Подымов, У. В. Попеско, “Верификация программно-конфигурируемых сетей при помощи системы UPPAAL”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, 2(193),  169–179  mathnet
2012
6. Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012),  45–56  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020