Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шошмина Ирина Владимировна
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:195
Страницы публикаций:245
Полные тексты:114
Списки литературы:34
E-mail:

https://www.mathnet.ru/rus/person63702
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. С. М. Старолетов, Д. А. Кондратьев, Н. О. Гаранина, И. В. Шошмина, “Соревнования по формальной верификации VeHa-2023: опыт проведения”, Труды ИСП РАН, 36:2 (2024),  141–168  mathnet
2010
2. И. В. Шошмина, “Проектирование программных бортовых систем управления с поддержкой верификации”, Модел. и анализ информ. систем, 17:4 (2010),  125–136  mathnet

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