Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Системная информатика
журнал
Индексирование: нет
Период активности журнала: не указан
Добавил в систему:
Захаров Владимир Анатольевич
Статьи, опубликованные в журнале
2020
On some properties of timed finite state machines
Vinarskii E.M.
,
Zakharov V.A.
в журнале
Системная информатика
, том 17, с. 11-20
2020
Using an extension of CT L∗ for specification and verification of sequential reactive systems
Gnatenko A.R.
,
Zakharov V.A.
в журнале
Системная информатика
, том 17, с. 21-32
2017
Верификация компонентов операционных систем
Кулямин В.В.
,
Петренко А.К.
,
Хорошилов А.В.
в журнале
Системная информатика
, № 10, с. 11-22
2016
On the minimization and equivalence checking of sequential reactive systems
Zakharov V.A.
,
Temerbekova G.G.
в журнале
Системная информатика
, № 7, с. 33-44
2016
Преодоление деградации результатов классификации текстов по тональности в коллекциях, разнесенных во времени
Рубцова Юлия Владимировна
в журнале
Системная информатика
, № 7, с. 45-68