Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Шошмина Ирина Владимировна

Шошмина Ирина Владимировна

Старший преподаватель кафедры распределенных вычислений и компьютерных сетей института информационных технологий и управления Санкт-Петербургского государственного политехнического университета.

В 1997 году окончила Санкт-Петербургский государственный технический университет по специальности «Прикладная математика». Является автором восьми научных публикаций. Область научных интересов – методы формальной верификации параллельных и распределенных систем, метод проверки модели, темпоральные логики, спецификация требований.

Статьи автора:

  1. Методика составления контекстных требований к программным системам логического управления
    И. В. Шошмина
    Журнал: 3(70)/2014 (Программные и аппаратные средства)