наверх

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

Кандидат технических наук
Должность: Старший преподаватель

Выпускница Санкт-Петербургского государственного политехнического университета (1997). Кандидат технических наук (2015). Работает в СПбПУ с 2000 года.


Ссылки

1. И. В. Шошмина «Методика составления контекстных требований к программным системам логического управления» Информационно-управляющие системы, (3):69–77, 2014<br> 2. Ю. Г. Карпов, И. В. Шошмина «Верификация распределенных систем» Издательство: СПбГПУ, 2011<br> 3. Irina v. Shoshmina, Alexey B. Belyaev «Symbolic Algorithm for Generation Büchi Automata from LTL Formulas» In Victor Malyshkin, ред., Том 6873 of LNCS, Parallel Computing Technologies — 11th International Conference PACT’2011, Kazan, Издательство: Springer, 2011<br> 4. И. В. Шошмина «Проектирование программных бортовых систем управления с поддержкой верификации» Модел. и анал. информ. систем, 17(4):125–136, 2010