Вы здесь

Окунишникова Е. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование 2001 Окунишникова Е. В. ИСИ СО РАН 28.02.2006
Д Моделирование ESTELLE-спецификаций распределенных систем с помо ью раскрашенных сетей Петри 2004 Окунишникова Е. В. 27.09.2004
А Моделирование Estelle-спецификаций распределенных систем с помо ью раскрашенных сетей Петри 2004 Окунишникова Е. В. 13.08.2004
СТ Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня 2001 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Программирование 19.06.2001
П Моделирование динамических конструкций языка Estelle посредством раскрашенных сетей Петри 2000 Окунишникова Е. В. ИСИ СО РАН Lecture Notes in Computer Science 02.08.2000
СТ Верификация коммуникационных протоколов, представленных на языках Estelle и SDL 2000 Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Моделирование Estelle-спецификаций посредством раскрашенных сетей Петри 2000 Окунишникова Е. В. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle 1999 Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Известия Академии наук. Теория и системы управления 10.03.2000
П Представление временных конструкций Estelle в различных моделях временных сетей Петри 1999 Окунишникова Е. В. ИСИ СО РАН 11.02.2000
СТ Временные сети Петри без перекрытий интервалов срабатывания 1998 Окунишникова Е. В. Программирование 03.12.1998
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
ИСИ СО РАН 04.11.1998
СТ Способ построения раскрашенных сетей Петри, моделирую их Estelle-спецификации 1995 Окунишникова Е. В., Чурина Т. Г. Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 15.12.1996
СТ Анализ достижимости для временных сетей Петри без перекрытий интервалов срабатывания 1995 Окунишникова Е. В. Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 14.12.1996
П Алгоритм построения алгебраической спецификации сетей Петри 1992 Окунишникова Е. В., Черкасова Л. А. ИСИ СО АН СССР 28.05.1993