|
СТ |
Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем |
2014 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О. |
|
|
|
Программирование |
01.12.2014 |
|
П |
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL |
2012 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О. |
|
|
ИСИ СО РАН |
|
03.04.2012 |
|
П |
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL |
2010 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О. |
|
|
ИСИ СО РАН |
|
12.08.2010 |
|
П |
Язык спецификаций распределенных систем Dynamic-Real |
2007 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О. |
|
|
ИСИ СО РАН |
|
14.04.2008 |
|
СТ |
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL |
2006 |
Веретнов С. О. |
|
|
ИСИ СО РАН |
Молодая информатика 2 |
29.04.2007 |
|
П |
Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL |
2007 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О., Тюрюшкин М. В. |
|
|
ИСИ СО РАН |
|
29.04.2007 |
|
СТ |
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL |
2006 |
Веретнов С. О. |
|
|
ИСИ СО РАН |
Молодая информатика 2 |
28.04.2007 |
|
СТ |
Моделирование и верификация распределенных систем, представленных на языке SDL |
2007 |
Веретнов С. О. |
|
|
Министерство образования и науки Российской федерации, Microsoft Corporation |
Технологии Microsoft в теории и практике программирования |
08.03.2007 |
|
СТ |
Разработка и реализация транслятора с языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL |
2006 |
Веретнов С. О. |
|
|
|
Технологии Microsoft в теории и практике программирования |
01.04.2006 |
