Загрузка…
09345043
1433299X
Association for Computing Machinery
Journal
Профиль издания — исследование формальных аспектов вычислений, включая теорию автоматов, формальные методы и модели вычислений. Авторы предлагают новые подходы к верификации программного обеспечения, анализу алгоритмов и разработке формальных языков. Основное внимание уделяется созданию математических основ для решения прикладных задач в программировании и системном анализе. К числу распространенных методов относятся формальная верификация и логический анализ, что позволяет повысить надежность и безопасность вычислительных систем. Журнал будет полезен специалистам в области компьютерных наук, занимающимся теоретическими аспектами и практическими приложениями формальных методов.
Подача рукописей в журналы Scopus и WoS временно недоступна из-за санкционных ограничений. Мы оказываем полную поддержку по публикации в журналах ВАК.
Зарегистрируйтесь на платформе АСНАП — получите требования журнала, шаблон оформления и рекомендации по подготовке рукописи
Вы представляете редакцию этого журнала? Исправьте данные →
Данные о журнале предоставлены АСНАП — Академической Системой Научной Активности и Публикаций