|
СТ |
Теоретико-категорные исследования временных систем переходов с независимостью |
2008 |
Дубцов Р. С. |
|
|
|
IX Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям / Сборник трудов. Кемерово, 28-30 октября 2008 |
26.01.2009 |
|
А |
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем |
2008 |
Дубцов Р. С. |
|
|
|
|
15.12.2008 |
|
Д |
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем |
2008 |
Дубцов Р. С. |
|
|
|
|
15.12.2008 |
|
СТ |
Семантические области временных структур событий |
2008 |
Вирбицкайте И. Б., Дубцов Р. С. |
|
|
|
Программирование |
02.08.2008 |
|
СТ |
Теоретико-катерогная характеризация развертки временных сетей Петри |
2004 |
Дубцов Р. С. |
|
|
|
Проблемы программирования |
26.11.2004 |
|
П |
Критерии ЭПИ- и мономорфизма в категориях моделей с реальным временем |
2004 |
Дубцов Р. С. |
|
|
ИСИ СО РАН |
|
26.04.2004 |
