Вы здесь
Быстров А. В.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
А | Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживаю их модели сетей Петри | 2008 | Быстров А. В. | 15.12.2008 | ||||
П | Структурный анализ поведения непрерывно-временных сетей Петри | 2007 | Быстров А. В. | ИСИ СО РАН | 24.09.2007 |