Журнал "Информационные технологии и вычислительные системы"
Русский
English
О журнале
Редколлегия
Правила рецензирования
Публикационная этика
Редколлегия (рабочее)
Тематика
Авторам
Правила подготовки и подачи статей
Лицензионный договор
Правила подготовки (Рабочее)
Договор (рабочее)
Архив
№2/2026
№2/2025
№1/2025
№3/2021
Поиск
Контакты
Поиск
Ключевое слово: формальная верификация
Использование логики X-CTL для формальной верификации Х-машин
М.С. Соболев
Выпуск 3/2010
Подробнее
