Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кубасов Сергей Валерьевич
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:70
Страницы публикаций:586
Полные тексты:344
Списки литературы:112
кандидат технических наук (2008)
Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
E-mail:

Научная биография:

Кубасов, Сергей Валерьевич. Верификация автоматных программ в контексте синхронного программирования : дис. ... канд. техн. наук : 05.13.11; [Место защиты: Ин-т програм. систем РАН]. - Ярославль, 2008. - 122 с.

https://www.mathnet.ru/rus/person63917
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://elibrary.ru/author_items.asp?authorid=603389

Публикации в базе данных Math-Net.Ru Цитирования
2008
1. С. В. Кубасов, “Верификация синхронно-автоматных программ с использованием LTL”, Модел. и анализ информ. систем, 15:2 (2008),  46–49  mathnet
2007
2. С. В. Кубасов, “Верификация синхронно-автоматных программ”, Модел. и анализ информ. систем, 14:4 (2007),  20–27  mathnet 1
3. С. В. Кубасов, В. А. Соколов, “Синхронная модель автоматной программы”, Модел. и анализ информ. систем, 14:1 (2007),  11–18  mathnet 1

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024