Вы здесь
Черненок С. А.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри | 2014 | Черненок С. А., Непомнящий В. А. | Моделирование и анализ информационных систем | 22.05.2015 | |||
П | Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри | 2013 | Черненок С. А., Непомнящий В. А. | ИСИ СО РАН | 18.11.2013 |