Вы здесь

Веретнов С. О.

Автор:

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