RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Кубасов С В

В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3

Статистика просмотров:
Эта страница:34
Страницы публикаций:307
Полные тексты:130
Списки литературы:56
E-mail:

http://www.mathnet.ru/rus/person63917
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

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